Archon-Horizon
分散式、目標導向的控制平面，用於 Lean 4 形式化專案。
Archon-Horizon 是什麼？
分散式、目標導向的控制平面，用於 Lean 4 形式化專案。
你是這個專案的維護者嗎？展示它已收錄於 YunoDB。
Markdown
[](https://yunodb.com/tools/frenzymatharchon-horizon?utm_source=github&utm_medium=badge)HTML
<a href="https://yunodb.com/tools/frenzymatharchon-horizon?utm_source=github&utm_medium=badge"><img src="https://yunodb.com/badge/frenzymatharchon-horizon.svg" alt="Featured on YunoDB" height="20"></a>繼續探索
查看所有替代工具 相關工具
100/100
TrendRadar
⭐AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts.🎯 告別資訊過載，你的 AI 輿情監控助手與熱點篩選工具！聚合多平
100/100
parlant
使用 Parlant 建立可靠的客戶導向 AI 代理：一個專為受控、一致且可預測的 LLM 互動而最佳化的互動控制框架。
100/100
X-AnyLabeling
X-AnyLabeling：輕量、高效且統一的跨平台桌面應用程式，用於標註文字、影像、影片、點雲與多模態資料，結合