MCP servers tagged smt

3 live MCP servers tagged "smt", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with smt.

live servers

avg trust

most stars

Certo Math

jtraverso

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 t…

★ 1updated 12 days ago

Multiple Couriers Planning Problem

This project, also known as the Vehicle Routing Problem (VRP), addresses the Multiple Couriers Planning (MCP) problem using Constraint Programming (CP), Satisfiability Modulo Theo…

Invariant Guard

kevzho

Alpha / research preview: local-first verifier for coding-agent patches (modeled runtime-failure analysis, behavioral contracts, differential replay, MCP) for Python

updated 6 days ago