—
/100
Partial
○ Unscored 1⁄4
Aare MCP
Enables formal verification of LLM outputs against compliance ontologies using Z3 SMT solver. Validates that AI-generated content adheres to regulatory requirements like HIPAA or mortgage compliance rules.
Glama
Unscored visibility
— 1/4 applicable dimensions scored
○ Schema Quality
○ Protocol
— Reliability
○ Docs & Maintenance
✓ Security Hygiene
— Schema Interpretability
A remote probe is needed for Protocol and Reliability scores.
Schema Quality
—
25% weight
Protocol Compliance
—
20% weight
Reliability
—
20% weight
Docs & Maintenance
—
15% weight
Security Hygiene
81
20% weight
Score History
Category Trends
30-Day Uptime
30 days ago
Today
Add this to your README to display your MCP Scoreboard grade:
