1. Conduid
  2. Science
  3. Certo Math
MCP server · Science

Certo Math

by · github.com/jtraverso/certo-math

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.

Unclaimed certificatescombinatoricsformal-verificationleanmcpsmttheorem-provingz3
InstallView source
34Low

Scored 7 days ago · breakdown

About Certo Math

Certo Math is an MCP server published by jtraverso in the Science category: 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.

The repository has 1 stars and 0 forks, with the last commit 8 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/jtraverso/certo-math

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Certo Math

Powered by Claude · Grounded in docs

I know everything about Certo Math. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

v0.30.00.30.0 · 9 Oct 2026Optima by SAT with a proof, faster exact arithmetic, and a program tied to its certificate.** No new commands (59); one new kind (61), `sat_optimum`; the schema stays 5. New `cover --minimum --sat` and `cover --maximum`**: the optimum of a…
v0.29.00.29.0 · 9 Oct 2026The least concentrated optimum, the best constant, both signs of an objective, and hypergraphs.** No new commands (59) or kinds (60); the schema stays 5. New `opt --diffuse`**: among the optimal solutions, the least possible largest joint…
v0.28.00.28.0 · 9 Oct 2026Negatives and Boolean refutations as certificates, an ideal you can steer, and Lean reading the declaration a binding names.** No new commands (59); three new kinds (60): `propositional_refutation`, `recurrence_table`, `repair_refusal`.…
v0.27.00.27.0 · 8 Oct 2026What a result is, one clock for a run, and an exact LP that closes.** No new commands (59) or kinds (57); the schema stays 5, with one optional field on every kind (`card`). New The card.** A spec declares its result's role (`consumer`,…
v0.26.30.26.3 · 7 Oct 2026Corrections from four reports on 0.26.2, two of them wrong answers.** No new commands (59); one new kind (57), `cegis_none`; the schema stays 5. Correctness `synth` said "no object exists" for a spec that has one.** The search learned…
Questions

About Certo Math

How do I install Certo Math?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Certo Math safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Certo Math still maintained?

Yes — the latest release is v0.30.0 (9 Oct 2026), and the last commit was 8 days ago. The repository has 1 stars.