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%
3 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
agent-spawn-mcp
Universal MCP server for any OpenAI-compatible LLM. Supports OpenAI and Anthropic API formats.
0 tools
matlab-mcp-python
MCP server exposing MATLAB capabilities to AI agents
0 tools

How to use

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

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