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.
Source
Repository: https://github.com/rafapra3008/cervellaswarm/tree/HEAD/lu-mcp-server
Maintain Lingua Universale?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[Lingua Universale on getagentictools](https://getagentictools.com/mcp/rafapra3008-cervellaswarm?ref=badge) Related mcp
Brightspace Exposes D2L Brightspace LMS data including courses, grades, assignments, feedback, and calendar through 26+ tools with multi-strat
Accessibility Bridge Exposes browser accessibility trees via Chrome DevTools Protocol for generating test selectors across Playwright, Selenium, Cypres
acrawl Autonomous web crawler with 17 browser tools and a goal-driven run_goal agent; single binary with stealth.
Browser Automation Enables Claude to automate browser interactions by detecting elements and executing planned actions for website navigation, form f
Dual-Cycle Reasoner Provides dual-cycle metacognitive reasoning framework that detects when autonomous agents get stuck in repetitive behaviors throug
ChatTempMail Integrates with ChatTempMail API to create temporary email addresses, retrieve messages, and manage disposable email sessions for