Lingua Universale Protocol Verification

On the Rokha Registry · clawhub · 0 Rokha runs · 742 downloads

Verify agent-to-agent communication against session type protocols. Mathematical proofs, not trust.

agent

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.