—
/100
Unscored
○ Unscored 0⁄0
Z3/SMT MCP Server
Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.
Glama
Unscored visibility
— 0/0 applicable dimensions scored
○ Schema Quality
○ Protocol
— Reliability
○ Docs & Maintenance
○ Security Hygiene
— Schema Interpretability
A remote probe is needed for Protocol and Reliability scores.
Schema Quality
—
25% weight
Protocol Compliance
—
20% weight
Reliability
—
20% weight
Docs & Maintenance
—
15% weight
Security Hygiene
—
20% weight
30-Day Uptime
30 days ago
Today
Add this to your README to display your MCP Scoreboard grade:
