Skip to content

Add Lingua Universale to Related Protocols#43

Open
rafapra3008 wants to merge 1 commit intoai-boost:mainfrom
rafapra3008:add-lingua-universale
Open

Add Lingua Universale to Related Protocols#43
rafapra3008 wants to merge 1 commit intoai-boost:mainfrom
rafapra3008:add-lingua-universale

Conversation

@rafapra3008
Copy link
Copy Markdown

What

Adds Lingua Universale to the Related Protocols & Concepts section.

Why

Lingua Universale is a formal verification DSL for AI agent communication protocols using multiparty session types (Honda/Yoshida, POPL 2008). It's complementary to A2A — while A2A defines how agents communicate, LU verifies that message sequences are correct at specification time (deadlock-free, role-complete, type-safe).

  • 3,867+ tests, zero external dependencies, pure Python stdlib
  • Compiler, linter, formatter, LSP, CLI, REPL, VS Code extension, MCP server
  • Available on PyPI

Checklist

  • Entry added in alphabetical order
  • Follows existing format
  • Link is valid and public

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant