Lingua Universale

Verification language for AI agent communication protocols with formal proofs, session type checking, and runtime enforcement.

Provides a type checker and verification system for AI agent conversations based on multiparty session types. Defines communication protocols as types that guarantee no deadlock, correct message ordering, and termination. Includes a full compiler, nine verified properties, twenty standard library protocols, LSP server, VS Code extension, and browser-based playground.