Vehir：面向AI代理的平台——編譯器、微內核與內容尋址存儲
Vehir是一個實驗性的AI原生計算平台，專為代理與計算機交互設計。它擁有自託管本地編譯器、用户空間微內核、內容尋址存儲和聲明式協調等核心特性，目前處於積極開發階段。
Vehir平台是一個實驗性的AI原生計算環境，其設計圍繞代理與計算機的交互展開。與傳統系統採用人機交互原理不同，Vehir將整個軟件環境的設計聚焦於AI代理的需求。其接口和工具採用結構化、可發現的輸入輸出機制，使AI代理能夠直接使用。Vehir探索如何讓軟件環境本身更便於機器推理，而非僅僅在現有工作流之上添加代理支持。
當前實現提供了該環境的基礎組件，包括結構化代理工具、IPM包管理器、原生編譯與加載、內容尋址生成、協調機制以及受監督服務。平台仍在積極開發中。
系統要求為Linux x86-64架構，推薦4GB以上內存。安裝過程需通過AI代理完成，用户需按照完整的安裝指南操作。Vehir的設計理念是機器對機器交互：結構化輸入輸出減少自由文本解析依賴，工具自發現使系統告知代理其能力，機器可讀錯誤附帶修復提示。源語言IPM專為機器編寫與驗證設計，非人工編輯。聲明式構建允許代理聲明期望狀態，系統進行協調。
核心系統方面，Vehir集成了多個層次：用户空間微內核與工作進程運行時，內核使用區域、共享內存和門鈴協調來管理工作進程；自託管原生編譯器，IPM包直接編譯為x86-64原生代碼，編譯器自舉並通過生成間的固定點驗證；原生加載器直接解析對象閉包並應用重定位；內容尋址存儲通過摘要尋址源和編譯對象，去重並記錄在不可變生成中；聲明式協調將構建狀態和包圖轉換為驗證後的生成，隨後原子切換當前版本；代碼派生代理工具，MCP操作、請求契約、幫助和驗證均從工具實現中衍生；全宇宙強制執行通過跨包分析檢查結構和策略不變量。
源代碼可用性方面，GitHub倉庫僅含文檔，發佈存檔包含完整IPM源碼樹及啓動所需原生工件。項目狀態為實驗性，接口和格式可能變化。卸載步驟詳細説明了如何停止服務並移除安裝目錄。