Cryptographic guardrails for AI agents. Verify actions with formal logic and zero-knowledge proofs.

Hosted
Streamable HTTPcommunityinfra

Deployment

Hosted
streamable-httphttps://api.icme.io/mcp