BootLoops-ai/bootloops

BootLoops 1.0: certified computational tools and house engines for exact and high-precision physics and quantitative science, built to be driven by LLM agents. MIT; docs CC BY 4.0.

解决的问题

LLM 常用于定量科学，但其输出难以在没有验证的情况下被信任。BootLoops 通过提供科学工具包和严格协议来解决这一问题，使结果可核查。每个工具都为代理提供文档：它做什么、何时使用、输出含义以及答案必须通过的测试。

工作原理

克隆仓库，在其中启动代理，并要求其阅读索引（tools/README.md）并提出计划。代理从 tools/ 下的 50 个包中选择相关工具；每个包都有 GUIDE.md，包含目的、验收门和验证类别。工具包包括多维积分、带证书的递归、贝叶斯证据、球算术、带完整性证明的枚举等工具。外部引擎（Kira、FireFly、FORM 等）可按需安装；三个引擎（SOFIA.jl、Eichler.jl、Leviathan）以完整源代码提供。一条命令的自测（python3 run_selftests.py --par 8）可在几分钟内验证新克隆。

适用对象

希望利用 LLM 代理进行可靠定量计算的研究人员和工程师，尤其是在数学物理、统计学及相关领域。也适用于任何希望贡献工具或协议以扩展该工具集的人。

亮点

模型无关：适用于任何代理框架（Claude、Codex 等）
50 个自包含的 Python 包，每个包自带电池（自测）
包含主要引擎（Kira、Blade、AMFlow.cpp）的 Julia 移植和补丁分支
技能仓库（纯 Markdown 协议）定义严格检查：可重复性、阳性对照、整数关系纪律
整个工具包可在笔记本电脑上运行，依赖最少（mpmath、sympy、numpy、python-flint）
清晰的许可和归属，包含第三方声明