38 MCP tools: Rust computation, Discovery, composition, counterexample scans and signed checks.
- Publisher identity: Publisher identity not verified
- Security scan: High-severity findings detected
- Monitoring: Actively monitored
- Registry namespace: Namespace verified by the Official MCP Registry
Tool input schema changed ·