59
/100
C
◉ Complete 6⁄6
Logic-Thinking MCP Server
Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
Glama
Complete visibility
— 6/6 applicable dimensions scored
✓ Schema Quality
✓ Protocol
✓ Reliability
✓ Docs & Maintenance
✓ Security Hygiene
✓ Schema Interpretability
Schema Quality
96
25% weight
Protocol Compliance
32
20% weight
Reliability
—
20% weight
Docs & Maintenance
57
15% weight
Security Hygiene
80
20% weight
Schema Interpretability
91
15% weight
Score History
Category Trends
30-Day Uptime
30 days ago
Today
Latest Health Check
Checked 1 month ago
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 100 | Good |
| Description Quality | 90 | Good |
| Documentation Coverage | 62 | Fair |
| Maintenance Pulse | 35 | Poor |
| Dependency Health | 55 | Fair |
| License Clarity | 100 | Good |
| Version Hygiene | — | Poor |
Analyzed 4 weeks, 1 day ago
Protocol Compliance
Probed 1 month ago
Add this to your README to display your MCP Scoreboard grade:
