Back to search
30
MCP

Lingua Universale MCP Server

io.github.rafapra3008/lu-mcp-server

Verify AI agent communication with session types and formal proofs

Uptime
0.0%
22 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

lu-mcp-server
MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types
0 tools
aip-mcp-server
MCP server for AI agent identity verification via AIP
0 tools
agent-coding-standards-mcp
MCP Server for AI coding agent standards
0 tools
mcp-agentapi
MCP server for interacting with AI agents through the Agent API
0 tools
isabelle-mcp
MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface
0 tools
thoughtproof-mcp
MCP server for ThoughtProof — verify AI reasoning with adversarial multi-model consensus
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "lingua_universale_mcp_server": {
      "url": "None",
      "transport": "http"
    }
  }
}