{"slug":"github-com-rafapra3008-cervellaswarm-tree-main-lu-mcp-server","name":"lu-mcp-server","description":"Verify AI agent communication with session types and formal proofs","category":"development","tags":[],"official":false,"stars":8,"transport":"http","install":[{"cmd":"pip install lu-mcp-server","imports":[]}],"tools":[{"name":"lu-mcp-server","description":"MCP server with tools extracted from README"}],"env_vars":[],"auth_type":"none","github":"https://github.com/rafapra3008/cervellaswarm/tree/main/lu-mcp-server","homepage":"","server_url":"","status":"active","source":"mcpservers.org","updated_at":"Mon May 25"}