{"slug": "show-hn-vehir-a-platform-built-for-ai-agents-compiler-microkernel-cas", "title": "Show HN: Vehir – a platform built for AI agents: compiler, microkernel, CAS", "summary": "Grigorii Tropin released Vehir, an experimental AI-native computing platform with a compiler, microkernel, and content-addressable storage designed for agent-computer interaction rather than human-computer interaction. The open-source system runs on Linux x86-64 and aims to make every software layer directly usable by AI agents through structured interfaces and declarative reconciliation.", "body_md": "Vehir Platform is an experimental AI-native computing environment designed around agent–computer interaction. In the same way that conventional systems use human–computer interaction principles to make computing accessible to people, Vehir designs the entire software environment around the needs of AI agents.\n\nIts interfaces and tooling are designed around structured, discoverable input and output that AI agents can use directly. Vehir explores how the software environment itself can be made more convenient for machine reasoning, rather than treating agent support only as an additional interface over existing workflows.\n\nThe current implementation provides the foundations of this environment, including structured agent tools, IPM packages, native compilation and loading, content-addressed generations, reconciliation, and supervised services. The platform is still under active development.\n\n- Linux\n- x86-64 processor\n- 4 GB of RAM or more recommended\n\nCopy the following and send it to your AI agent:\n\n```\nRead the complete installation guide at\nhttps://github.com/grigoriitropin/vehir-platform/blob/main/INSTALL.md\nbefore taking any action. Follow it from beginning to end, and ask the\nuser whenever it requires a choice or information about the host system.\n```\n\nVehir is built for machine-to-machine interaction. Instead of wrapping existing human-facing tools with AI interfaces, it designs every layer to be directly usable by agents:\n\n- Structured input and output reduce reliance on free-form text parsing.\n- Self-discoverable tools — the system tells the agent what it can do.\n- Machine-readable errors with remediation hints.\n- The source language (IPM) is designed for machine writing and verification, not manual editing.\n- Declarative build — the agent declares desired state; the system reconciles.\n\nSome features are still under development and may not yet be complete.\n\nVehir is more than an agent tool server. It combines several layers into one self-hosting platform:\n\n**User-space microkernel and worker runtime.** The kernel launches and manages workers using arenas, shared memory, and doorbell-based coordination. Managed services use the same worker model.**Self-hosting native compiler.** IPM packages are compiled directly to x86-64 native code. The compiler builds itself, with fixpoint verification across generations.**Native loading.** Vehir resolves object closures, applies relocations, and loads its own compiled artifacts without relying on a conventional application runtime.**Content-addressed storage.** Sources and compiled objects are addressed by digest, deduplicated, and recorded in immutable generations.**Declarative reconciliation.** A declared build state and package graph are transformed into a verified generation, followed by an atomic`current`\n\nswitch.**Code-derived agent tools.** MCP operations, request contracts, help, and request validation are derived from the tool implementations rather than maintained as separate handwritten interfaces.**Whole-universe enforcement.** Cross-package analysis checks structural and policy invariants before a generation is promoted.\n\nThis GitHub repository contains documentation only. Release archives are\nnot binary-only distributions: every published generation archive\n(`N.tar.gz`\n\n) contains the complete IPM source tree together with the native\nartifacts needed to bootstrap that exact generation. The source can be\ninspected before any Vehir component is started.\n\nVehir is experimental and under active development. Interfaces and formats may change between releases.\n\n[INSTALL.md](/grigoriitropin/vehir-platform/blob/main/INSTALL.md)— installation guide for AI agents[ARCHITECTURE.md](/grigoriitropin/vehir-platform/blob/main/ARCHITECTURE.md)— technical architecture[LICENSE](/grigoriitropin/vehir-platform/blob/main/LICENSE)— license\n\nBefore removing anything, identify the actual Vehir installation location and ask the user to confirm it. Stop and remove the user service:\n\n```\nsystemctl --user disable --now vehir-kernel.service\nrm ~/.config/systemd/user/vehir-kernel.service\nsystemctl --user daemon-reload\n```\n\nRemove only the Vehir MCP entry from the agent client's configuration and the persistent Vehir instruction added during installation, preserving all unrelated configuration.\n\nThe installation directory is the complete Vehir content-addressed store. It contains all generations, compiled objects, and source objects. After the user confirms that none of this state is needed, remove the confirmed absolute installation location:\n\n```\nrm -rf -- <confirmed-absolute-installation-location>\n```\n\n", "url": "https://wpnews.pro/news/show-hn-vehir-a-platform-built-for-ai-agents-compiler-microkernel-cas", "canonical_source": "https://github.com/grigoriitropin/vehir-platform", "published_at": "2026-07-15 01:00:50+00:00", "updated_at": "2026-07-15 01:17:47.451477+00:00", "lang": "en", "topics": ["ai-agents", "ai-infrastructure", "ai-tools", "developer-tools"], "entities": ["Vehir", "Grigorii Tropin", "GitHub", "Linux", "x86-64"], "alternates": {"html": "https://wpnews.pro/news/show-hn-vehir-a-platform-built-for-ai-agents-compiler-microkernel-cas", "markdown": "https://wpnews.pro/news/show-hn-vehir-a-platform-built-for-ai-agents-compiler-microkernel-cas.md", "text": "https://wpnews.pro/news/show-hn-vehir-a-platform-built-for-ai-agents-compiler-microkernel-cas.txt", "jsonld": "https://wpnews.pro/news/show-hn-vehir-a-platform-built-for-ai-agents-compiler-microkernel-cas.jsonld"}}