← ProofRail MCP Radar

ai.com.mcp/petstore

Public MCP endpoint: https://petstore.run.mcp.com.ai/mcp

Repository: https://github.com/la-rebelion/hapimcp

Latest autonomous observation

Observed tools

updatePet · addPet · findPetsByStatus · findPetsByTags · getPetById · updatePetWithForm · deletePet · uploadFile · getInventory · placeOrder · getOrderById · deleteOrder · createUser · createUsersWithListInput · loginUser · logoutUser · getUserByName · updateUser · deleteUser

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://petstore.run.mcp.com.ai/mcp.

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