79
/100
B
◉ Complete 5⁄5
Logic-LM MCP Server
Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
Glama
MCP Surface
Tools: 4
Complete visibility
— 5/5 applicable dimensions scored
✓ Schema Quality
✓ Protocol
— Reliability
✓ Docs & Maintenance
✓ Security Hygiene
✓ Schema Interpretability
Schema Quality
84
25% weight
Protocol Compliance
82
20% weight
Reliability
—
20% weight
Docs & Maintenance
39
15% weight
Security Hygiene
81
20% weight
Schema Interpretability
96
15% weight
Score History
Category Trends
30-Day Uptime
30 days ago
Today
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 80 | Good |
| Description Quality | 90 | Good |
| Documentation Coverage | 47 | Fair |
| Maintenance Pulse | 21 | Poor |
| Dependency Health | 30 | Poor |
| License Clarity | 100 | Good |
| Version Hygiene | — | Poor |
Analyzed 1 month ago
Protocol Compliance
Schema Issues (3)
translate_to_asp_instructions.problem: missing description
verify_asp_program.program: missing description
verify_asp_program.max_models: missing description
Probed 1 month ago
Add this to your README to display your MCP Scoreboard grade:
