GitHub Repository

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

8 starsPython

Lingua Universale – session types and Lean 4 proofs for AI agents

Name: Lingua Universale – session types and Lean 4 proofs for AI agents
Availability: InStock
Author: rafapra

by rafapra·Feb 26, 2026·1 point·1 comment

AI Analysis

●MidBold BetShip It

17-agent team with session memory, but Anthropic Batch and Claude Projects already persist context.

Strengths

•Session Continuity Protocol (SNCP) persists multi-agent state in git-native plaintext—auditable and portable across tools
•Hierarchical Queen-Worker-Guardian structure with 15+ lifecycle hooks shows thoughtful coordination UX
•3791 passing tests and 95% coverage suggest mature codebase despite young project

Weaknesses

•Claude Code dependency limits portability; Claude Projects now offers similar context persistence natively
•Use case unclear: unclear if 17-agent overhead beats simpler single-agent-with-long-context for most workflows