MCP servers tagged smt-solver

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

live servers

avg trust

145

most stars

SuperGhidra

yuatemycat

SuperGhidra: Autonomous Agent Reverse Engineering, Lock-Free Ghidra Daemon & C++ Recovery Suite

★ 145updated 5 days ago

Z39

alejandroqh

Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.

★ 3updated 6 months ago

Soundcheck

ph0smet

Formal verification for declarative security configuration, built for AI-assisted changes.

★ 1updated 10 hours ago

Fault Keeper

xTanTHaix

🌿🐡"51 deterministic checks across 13 areas to catch bugs and harden your code."

★ 1updated 21 days ago