—
/100
Partial
○ Unscored 1⁄3
MCP Solver
An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
Glama
Template Description
Unscored visibility
— 1/3 applicable dimensions scored
○ Schema Quality
— Protocol
— Reliability
○ Docs & Maintenance
✓ Security Hygiene
— Schema Interpretability
Schema Quality
—
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
—
25% weight
Security Hygiene
95
33% weight
Score History
Category Trends
Add this to your README to display your MCP Scoreboard grade:
