MCP servers tagged z3
4 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.
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.