Back to search
30
MCP

lu-mcp-server

pypi/lu-mcp-server

MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types

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

Similar MCP servers embedding-nearest

Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs
0 tools
aip-mcp-server
MCP server for AI agent identity verification via AIP
0 tools
lyellr88/marm-mcp-server
Universal MCP Server: intelligent memory, semantic search, & AI agent collaboration support.
0 tools
mcp-test-mcp
An MCP server for testing MCP servers you are developing with AI assistants
0 tools
agent-coding-standards-mcp
MCP Server for AI coding agent standards
0 tools
agent-identity-mcp-server
MCP Server for AI agent identity and authorization — create, verify, and manage agent identities
0 tools

How to use

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

{
  "mcpServers": {
    "lu-mcp-server": {
      "url": "None",
      "transport": "http"
    }
  }
}