GitHub · 去对齐工具与仓库·· 1 天前AI 评分44
AxiomCode 0.1.1：将自然语言转为 Lean 4 形式化验证代码
nrupala/axiomcode
来源与原文
GitHub · 去对齐工具与仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/nrupala/axiomcode
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
AxiomCode（0.1.1）可将算法的自然语言描述转为经数学证明正确的 Python 和 C 代码，每个产物附带可独立审计的密码学证书，仅 verified 状态表示 Lean 4 已机器校验证明。依赖极少，仅 stdlib、cffi 和经审计的 cryptography 包，支持 llama.cpp、vLLM、Ollama、Mistral、OpenAI、Anthropic 等 LLM 后端，提供免费 Community 版与 $49/month 的 Pro 版。
来源：GitHub · 去对齐工具与仓库 · github.com