YYunoDB
AI 工具

fsl

AI 原生形式規格語言 — 一個為 LLM 撰寫/驗證/修復循環所建構的有界模型檢查器（Lark + Z3）

fsl 是什麼？

AI 原生形式規格語言 — 一個為 LLM 撰寫/驗證/修復循環所建構的有界模型檢查器（Lark + Z3）

繼續探索
查看所有替代工具
100/100

llama-cookbook

歡迎來到 Llama Cookbook！這是您使用 Llama 進行建置的入門指南：推論、微調、RAG。我們也向您展示如何解決

開放原始碼 AI 工具
18,556GitHub 星標
100/100

ruflo

🌊 原始代理程式框架。部署智慧型多人代理叢集、協調自主工作流程，並建置對話式 AI 系統。具備自適應記憶、自學習智慧、聯邦、向量 RAG 整合，以及原生 Claude Code / Codex / Hermes 等整合

開放原始碼 AI 工具
73,227GitHub 星標
100/100

prompt-optimizer

提升 AI 提示詞品質，獲得更優異結果的提示詞優化工具。

開放原始碼 AI 工具
35,639GitHub 星標