Serveur MCP
Lingua Universale MCP Server
io.github.rafapra3008/lu-mcp-server
Ce que fait ce MCP
Verify AI agent communication with session types and formal proofs
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.