A
licenseA
qualityA
maintenanceProvides MCP tools to verify logical expressions and retrieve decision statistics, with verdicts VALID, INVALID, or UNDECIDED.
2
AGPL 3.0
certo
by jtraverso
Related Servers
Alternatives to certo
No user-submitted related servers found.
Related Servers
- AlicenseAqualityAmaintenanceAn MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.2307MIT
- AlicenseNot gradedqualityDmaintenanceEnables Claude Desktop and MCP-compatible agents to formulate, solve, and certify mathematical optimization problems using production-grade open-source solvers, providing mathematically grounded decisions.MIT
- AlicenseNot gradedqualityBmaintenanceEnables MCP-capable agents to solve scheduling and integer optimization problems using Google OR-Tools, return proven-optimal or valid solutions, independently verify proposed solutions, and explain infeasible rule sets.MIT
- AlicenseNot gradedqualityCmaintenanceEnables rigorous, machine-checked mathematical proving and proof review through 23 local tools that formalize propositions, verify each inference step with SMT and symbolic solvers, search for counterexamples, and run exact number-theoretic and high-precision arithmetic. Verdicts are strictly separated into proven, refuted, inconclusive, verified, sound_with_gaps, and flawed, so unproven steps are disclosed rather than hidden.MIT
- AlicenseAqualityAmaintenanceEnables AI agents to describe combinatorial optimization problems as JSON and obtain validated, ranked, re-verified solutions through MCP tools.496 PyPIMIT
This server cannot be deployed
Maintenance
ActivityActive
ResponsivenessUnresponsive