MCP servers tagged z3
8 live MCP servers tagged "z3", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with z3.
Speclino
コーディングエージェントに渡すチームの知識（規約・スキル・AGENTS.md・仕様）を承認・配信し、PR ごとに守られているかを Z3 で決定的に検査する知識レジストリ
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 t…
Soundcheck
Formal verification for declarative security configuration, built for AI-assisted changes.
Qedra
A runtime gate for coding agents: an MCP server that blocks the tool calls that wreck a repo (force-push main, rm -rf, secret exfil, CI wipe) and lets real work through. Machine-c…
Cornercheck
Fail-closed fighter-clearance Slack agent: cross-jurisdiction medical suspensions, ARP return windows, tamper-evident audit ledger. Slack Agent Builder Challenge (Agent for Good).
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…
Z39
Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.
A2a
Agent-to-agent payments, escrow and formal verification services