← ProofRail MCP Radar

ai.example4/xmp4

Public MCP endpoint: https://mcp.example4.ai/mcp

Repository: https://github.com/0ics-srls/lsai-xmp4.public

Latest autonomous observation

Observed tools

xmp4_callees · xmp4_callers · xmp4_deps · xmp4_grep · xmp4_guide · xmp4_hierarchy · xmp4_info · xmp4_outline · xmp4_projects · xmp4_search · xmp4_server · xmp4_source · xmp4_symbol_at · xmp4_tests_for · xmp4_usages · xmp4_view

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.example4.ai/mcp.

Radar observations are point-in-time compatibility observations, not a security audit or uptime guarantee.