73
/100
B
◉ Complete 5⁄4
MCP-RoCQ
MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.
Glama
Stale Project
Outdated MCP Spec
Complete visibility
— 5/4 applicable dimensions scored
✓ Schema Quality
✓ Protocol
— Reliability
✓ Docs & Maintenance
✓ Security Hygiene
✓ Schema Interpretability
Schema Quality
86
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
37
25% weight
Security Hygiene
90
33% weight
Schema Interpretability
85
15% weight
Score History
Category Trends
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 90 | Good |
| Description Quality | 80 | Good |
| Documentation Coverage | 40 | Fair |
| Maintenance Pulse | 6 | Poor |
| Dependency Health | 55 | Fair |
| License Clarity | 100 | Good |
| Version Hygiene | — | Poor |
Analyzed 4 weeks, 1 day ago
Add this to your README to display your MCP Scoreboard grade:
