Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.
-
Updated
Mar 29, 2026 - Python
#
session-types
Here are 2 public repositories matching this topic...
Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.
python csp verification coordination temporal-logic model-checking formal-methods process-algebra markov-chains session-types deadlock-detection multi-agent-systems ai-agents bisimulation spectral-graph-theory
-
Updated
Mar 21, 2026 - Python
Improve this page
Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."