From 3249d5b5bf68b583f89c4f427c38737591aa9ecc Mon Sep 17 00:00:00 2001 From: Rafael Vinicius Pra Date: Mon, 16 Mar 2026 10:21:03 +0100 Subject: [PATCH] Add Lingua Universale to Related Protocols & Concepts --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 9204aa0..dc2687f 100644 --- a/README.md +++ b/README.md @@ -259,6 +259,7 @@ This section aims to list standalone tools and utilities related to the A2A prot ## 🔗 Related Protocols & Concepts * 📦 [Model Context Protocol (MCP)](https://github.com/modelcontextprotocol/servers) - Complementary protocol focused on providing tools/context *to* agents. ([A2A and MCP Discussion](https://a2aproject.github.io/A2A/#/topics/a2a_and_mcp.md)). +* 🔍 [Lingua Universale](https://github.com/rafapra3008/cervellaswarm) by [@rafapra3008](https://github.com/rafapra3008) - Formal verification DSL for AI agent protocols using multiparty session types. Complementary to A2A: verify message sequence correctness at spec time. ([PyPI](https://pypi.org/project/cervellaswarm-lingua-universale/)). * 📞 *Function Calling / Tool Use Standards* - *Community contributions welcome: Discussion on patterns, best practices, or relevant standards for function calling/tool use in conjunction with A2A.* ## 💬 Community