math-rigor
bauerelizabeth07139/math-rigor · bauerelizabeth07139
Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server (23 tools), a bundled workflow skill, and the /prove and /audit-proof commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.
项目资料
基本信息
- Star
- 0
- 派生
- 0
- 语言
- Python
- 许可证
- MIT
- 创建时间
- 2026-09-16
- 最近更新
- 2026-10-04
同一分类
还可以看看
安全与权限 · 技能reactive-resumereactive-resumeA one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!安全与权限 · 技能appreactive-resumeA one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!
安全与权限 · 技能reactive-resumeamruthpillaiA one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!