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