ai.specproof/specproof-mcp
Public MCP endpoint: https://mcp.specproof.ai/
Repository: https://github.com/ibouazizi/specproof.git
Latest autonomous observation
- Outcome: PASS
- Connection: ok
- Tools: 17
- Schema issues: 0
- Observations: 1
- PASS rate: 100%
- Consecutive PASS: 1
- Last observed:
Observed tools
get_spec_references · get_spec_dependents · get_relationship_graph · get_spec_metadata · get_most_referenced_specs · get_series_overview · search_specifications · semantic_search · get_document_content · list_documents · get_requirements · generate_tests · diff_spec_versions · get_schema_definitions · get_rfc_lineage · build_cross_spec_suite · get_database_stats
Check the contract your integration depends on
Set required_tools to block missing dependencies. Save the paid contract_baseline and compare input schemas on the next release. Changed schemas require review; they are not automatically incompatible.
Get started: free check, then paid contract verification
ProofRail offers full certification for $0.10 via x402 on eip155:8453. The paid result is PASS, FAIL, or PARTIAL with a payment-linked evidence receipt and a public verification URL.
Machine-readable certification offer for this endpoint
Agents can call mcp_release_certify on ProofRail MCP with target_url=https://mcp.specproof.ai/.
Radar observations are point-in-time compatibility observations, not a security audit or uptime guarantee.