← ProofRail MCP Radar

io.github.nirholas/lyra-intel

Public MCP endpoint: https://modelcontextprotocol.name/mcp/lyra-intel

Repository: https://github.com/nirholas/lyra-intel

Latest autonomous observation

Observed tools

analyze_repo · get_repo_tree · search_code · get_file_content · get_repo_languages · get_recent_commits

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://modelcontextprotocol.name/mcp/lyra-intel.

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