77
/100
B
◉ Complete 5⁄4
MCP-Logic
MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
Glama
Outdated MCP Spec
Complete visibility
— 5/4 applicable dimensions scored
✓ Schema Quality
✓ Protocol
— Reliability
✓ Docs & Maintenance
✓ Security Hygiene
✓ Schema Interpretability
Schema Quality
90
25% weight
Protocol Compliance
56
20% weight
Reliability
—
20% weight
Docs & Maintenance
48
15% weight
Security Hygiene
95
20% weight
Schema Interpretability
89
15% weight
Score History
Category Trends
30-Day Uptime
30 days ago
Today
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 90 | Good |
| Description Quality | 90 | Good |
| Documentation Coverage | 40 | Fair |
| Maintenance Pulse | 58 | Fair |
| Dependency Health | 30 | Poor |
| License Clarity | 100 | Good |
| Version Hygiene | — | Poor |
Analyzed 1 month ago
Add this to your README to display your MCP Scoreboard grade:
