Kin 是 AI 編寫軟體的記錄系統。AI 代理可以比團隊建立變更所觸及的範圍、是否會撤銷先前的修復,以及其影響範圍有多大,更快地編寫變更。Git 記錄檔案和行歷史。Kin 將軟體本身記錄為實體、關係、變更和來源的圖譜,然後為人類和代理提供單一的語意權威來查詢和審查。

Kin 是一個公開的 Alpha 版本。它今天就可以作為本機 CLI、守護進程 (daemon)、MCP 伺服器、審查介面和圖形後端檔案系統投影使用。它處於 1.0 版本之前,因此請預期會有不完善之處和破壞性變更。在關鍵工作流程中採用之前,請參閱最新的穩定版本和目前的限制。

在 ripgrep 中,一行簽名變更在 diff 中看起來無害。在任何建置執行之前,詢問圖譜:

該參數變更後,三個直接呼叫者停止編譯。Kin 根據圖譜真相命名了它們,以及它們之後兩到三跳的影響範圍,在任何編譯器運行之前。

Kin 是一個具有幾個清晰公開介面的系統:

支援的儲存庫提供圖譜儲存、檢索、嵌入、blob、語言豐富化和可重現的證明。它們是實現層,而不是需要新使用者組裝的獨立產品。

Kin 的核心是開源的 Apache-2.0:kin、kin-db、kin-vfs 和 kin-editor,以及支援庫 kin-model、kin-blobs、kin-search、kin-vector、kin-infer、kin-lsp 和 kin-actions。

KinLab 是建立在此開源核心之上的專有產品:上述的託管協作和控制平面層。

相同的界線也適用於基準測試工作的分享方式。基準測試規格和獨立、無依賴的捆綁驗證器是公開的,因此可以在不存取產生它的系統的情況下檢查聲明。產生密封證據捆綁包的運行器和證明基礎設施(協調、固定版本證明門和託管測量環境)目前仍是私有的。規格和驗證器首先公開;運行器可以稍後公開。

安裝程式會解析最新的穩定版本,驗證其發布的 SHA-256 檢查碼,在 ~/.kin 下安裝託管二進位檔,並啟動設定。運行明確的代理意圖會為偵測到的支援客戶配置內建的 MCP 伺服器。使用 --intent local 進行 CLI 和檔案系統使用,無需 MCP 配置,或使用 --intent editor 進行 VS Code 路徑。

手動安裝時,每個封存檔及其 .sha256 檔案都發布在 https://github.com/firelock-ai/kin/releases/latest/download/ 。移動的資產名稱是 kin-macos-aarch64、kin-macos-x86_64、kin-linux-aarch64、kin-linux-x86_64 和 kin-windows-x86_64;請使用最新發布頁面上顯示的 Unix .tar.gz 或 Windows .zip 後綴。

Homebrew 和 npm 入口點解析相同的公開發布通道:

在 Windows 上,在 PowerShell 中執行 irm https://get.kinlab.dev/install.ps1 \| iex。原生 Windows x86_64 可以安裝和運行儲存庫無關的 CLI 診斷,但目前無法進行儲存庫存取:kin init 會失敗關閉,因此圖譜、詞彙、守護進程、儲存庫設定、MCP 和審查工作流程不受支援。請使用 WSL2 來使用 Kin 儲存庫。在選擇 Windows 安裝路徑之前,請閱讀下方的平台和成熟度。

在乾淨的 Git 儲存庫中,kin init 會原子地將所有可達的歷史記錄、引用、原始物件、確切的工作區樹和存取策略納入儲存庫 v6 圖譜權威。它從不替換確切的 HEAD 快照或原始檔案系統語意重建。支援的儲存庫本地遠端 URL、引用規範、分支追蹤和推送預設值會被密封到 Kin 的 Git 共存配置中;不安全、模棱兩可或不支援的傳輸設定會在發布前關閉失敗。

存取還會為該歷史記錄中每個支援的實體來源檔案衍生語意實體和關係層,並且 kin init 會報告它提交的持久性、綁定代數的計數。kin status 會報告該儲存庫權威視圖;kin graph status 會單獨報告守護進程的可變動即時查詢圖譜,其中可能包含後續衍生豐富化。查詢介面會消耗圖譜擁有的豐富化(如果存在),並報告其缺失,而不是將差距隱藏在原始檔案搜尋之後。

將 ExactEntityName 替換為 locate 返回的符號。locate 會找到與意圖相關的實體,refs 會顯示圖譜擁有的呼叫者/匯入者和參考,trace 會返回焦點實體以及附近的語意上下文。一旦嵌入完成,您配置的 AI 代理就可以使用基於向量的 semantic_locate 工具;get_context_pack、find_references 和 trace_data_flow 會直接暴露圖譜鄰域。

存取衍生語意實體,而非其向量。執行 kin embed 以添加本地向量相似性,並使用 kin graph status 確認覆蓋範圍。

AI 編寫程式碼。Kin 證明變更。

在您要審查的分支上執行 kin init,以便相關的 Git 歷史記錄在圖譜中,然後將明確的提交 SHA 傳遞給僅報告的影子門:

結果為 PASS、NEEDS ATTENTION 或 WOULD BLOCK,並帶有圖譜衍生的影響範圍、修復上下文和審計證據。該命令不會阻止合併或修改圖譜狀態。它會產生供人類或 CI 策略採取的證據。

Kin 的設計目的是取代 Git 作為儲存庫權威。在棕地採用過程中,Git 仍然是明確的匯入/匯出互操作性邊界;它從不回應 Kin 運行時查詢或修復缺失的圖譜真相。

這使得團隊能夠遷移現有儲存庫,而無需放棄其編輯器、編譯器、建置系統或 Git 互操作性,同時 Kin 成為權威。

核心運行時和檔案系統投影具有不同的支援邊界:

有限的 arm64 測試發現核心圖譜和詞彙路徑在 512 MB 下可用,但完整的嵌入下載大約 522 MB 的模型,目前需要 2 GB 作為安全操作底線;1 GB 是不安全的邊緣,512 MB 可能在嵌入過程中終止。這些是觀察到的 Alpha 限制,而非普遍的尺寸承諾。

成功的 kin --version 只證明核心二進位檔運行。它並不證明 VFS 相容性或即時圖譜後端投影。在支援的 Unix 主機上,使用 kin setup status、kin-vfs status --workspace . 和一個真實的 kin-vfs exec --workspace . -- <command> 啟動。VFS 啟動器包含一個攔截金絲雀,並報告作業系統何時移除該代理。kin-vfs README 包含完整的邊界。

發布資產經過檢查碼發布,發布工作流程在支援的運行器矩陣中執行匿名安裝、守護進程/MCP、嵌入和真實圖譜後端 VFS 投影檢查。工作流程本身是公開的:安裝證明。綠色發布證明了這些確切的工件和環境;這並不是聲稱所有發行版、工具或儲存庫形狀都已涵蓋。

發布的預先註冊 Multi-SWE-Bench Go 證明套件固定在較舊的建置上,而不是移動的最新版本,並且不建立廣泛的速度、令牌節省或類別獲勝聲明。比較結果在此暫停,等待獨立驗證。

閱讀公開證明套件中的方法論、任務集、建置身份和工件。將超出測量範圍的聲明視為假設,直到它們有自己的可重現證明。

AI 編寫軟體的語意記錄系統:實體與關係圖,而非檔案差異。