87
/100
A
◐ Assessed 3⁄3
chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
Links:
Outdated MCP Spec
Assessed visibility
— 3/3 applicable dimensions scored
✓ Schema Quality
— Protocol
— Reliability
✓ Docs & Maintenance
✓ Security Hygiene
— Schema Interpretability
Schema Quality
100
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
55
25% weight
Security Hygiene
95
33% weight
Score History
Category Trends
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 100 | Good |
| Description Quality | 100 | Good |
| Documentation Coverage | 40 | Fair |
| Maintenance Pulse | 58 | Fair |
| Dependency Health | 75 | Good |
| License Clarity | 100 | Good |
| Version Hygiene | — | Poor |
Analyzed 1 day, 20 hours ago
Add this to your README to display your MCP Scoreboard grade:
