一個將以散文形式撰寫的 AI 代理人技能轉換為結構化合約的工具，以確保代理人遵守安全規則並提供可驗證的完成證明。

一組用於與 Keslr 網路整合的 TypeScript 套件，透過信任圖譜驗證與私有網路位址指派，確保只有經過驗證的人類才能存取應用程式。

無需託管向量資料庫，僅透過單一 Rust 二進位檔即可實現持久、類型化、可搜尋的本地優先記憶儲存，為 AI 代理提供耐用、類型化且可搜尋的記憶。

透過 30 字節的 token 取代冗重的上下文傳遞，提供可驗證遙測與客製化資料投影的多代理系統參考層

一款AI驅動的形式化驗證工具，透過自動化生成規格與證明，提供軟體正確性的機器可驗證證據。

一個 Python 套件，利用 OCR 和 LLM 驅動的語意分塊，將文件和掃描圖像轉換為乾淨、結構化的 markdown 區塊，適用於 RAG 系統。

一種代理型 QA 測試框架，允許使用者使用自然語言編寫 Web 和行動裝置測試，並利用自我修復 AI 代理來適應 UI 變化。

一個開源、可自託管的 AI SOC，透過完全透明且可重現的 AI 代理決策審計追蹤，實現安全事件分類與調查的自動化。

一個以規格驅動、代理式的工作流框架，可將需求、計畫與驗證證據直接持久化至專案儲存庫中。

一種安全協定與強制閘道，確保自主 AI 代理在有限且經驗證的使命範圍內運作，以防止未經授權的重大操作。

Pathway 是一個以 Python 為首、Rust 為後端的框架，用於建構批次或串流資料管道。它提供多種資料來源連接器、狀態化運算子、持久化能力，以及專為 LLM 設計的工具包（包裝器、解析器、向量索引），可輕鬆透過 Docker 或 Kubernetes 實現即時 RAG 及其他 LLM 應用的撰寫與部署。

一個完全開源、以驗證為先的 LLM 推論硬體單元，將 KV 快取壓縮直接整合至資料路徑中，以優化邊緣推論。

一種優化的 GPT-2 訓練實現，利用記憶體和權重平均技術為 modded-nanogpt 挑戰創下新的速度記錄。

一個使用 FastAPI 和 Celery 建構的 API，透過 IBM 的 Docling 將 PDF、DOCX 等多種文件格式轉換為 Markdown 的可擴展後端伺服器。

一個任務生成器，透過建立與公開數據集分佈一致的新型 ARC-AGI-1 風格任務，在未知問題上評估 AI 模型並防止基準測試污染。

面向 AI 代理的原生追蹤 CI/CD 平台，將生產錯誤自動轉化為回歸測試，以阻止含錯誤的發佈。

一個 VSCode 擴展與代理，讓使用者能在不重新載入編輯器的情況下，即時切換 GitHub Copilot Chat 中的 AI 模型。

一組Python腳本，用於測試OpenAI相容的模型端點，以驗證所提供的模型是否與其標籤匹配。

REDCELL是一個開源、自託管的平台，使用LLM驅動的代理來執行完整的滲透測試（真實的Kali工具、瀏覽器自動化、反向Shell）並產生精美的報告，全部透過即時React控制台控制。

一個為 AI agent 提供開放存取與治理層的工具，可在組織內提供統一的身分、策略執行與可稽核的上下文管理。

一款用於 AI 編碼代理的本地 API 流量捕獲工具，可將令牌成本精確歸因於系統提示、工具模式等特定請求組件。

一個實現結構化滲透測試方法論（偵察、分析、驗證）的 MCP 伺服器，提供帶有即時驗證的 LLM 驅動安全審計。

一個用於 AI/ML 研究的開源代理工作流，可自動化構思與實驗執行，產出可直接用於論文的證據。

Cortex 從單一設定將 API 規範和 Markdown 轉換為類型化 SDK、互動式文件和 AI 代理的 MCP 伺服器。

一種用於在 Unreal Engine 5 中透過簡報驅動方式而非聊天介面，讓自主 AI 代理執行長期工程任務的框架。

一個基於 FastAPI 的非同步 RAG API，支援使用 pgvector 或 MongoDB 進行基於 ID 的文件索引與檢索，具備嚴格的基於所有權的存取控制。