MCP Servers / development / lu-mcp-server

lu-mcp-server

JSON →
httpnone★ 8development

Verify AI agent communication with session types and formal proofs

github ↗
Install
How to run this server
[ { "cmd": "pip install lu-mcp-server", "imports": [] } ]
server path: lu-mcp-server
Tools
What this server exposes
lu-mcp-server
MCP server with tools extracted from README
Configuration
Environment & auth
authnone
Resources
githubhttps://github.com/rafapra3008/cervellaswarm/tree/main/lu-mcp-server ↗
lu-mcp-server — MCP Server · libregistry