certo

介绍

Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it to what it really is, assemble the rest. certo does that work, and every step returns a certificate anyone can re-check without trusting it. CLI + MCP.

翻译准备中

取自仓库 README

README

正在加载完整 README。 以下为已保存的摘录。

Between having a mathematical idea and having a proof of it there is a lot of work that is not proving. certo does that work — find the object, break the claims that are false, measure what survives, reduce it to what it really is, and assemble the rest — and every step comes back with a certificate anyone can re-check without trusting certo. CLI and MCP. Fifty-nine commands. Runs in milliseconds where a formalisation costs hours. *Español: README.es.md · run any command with --lang es.*