SERVER
Lu MCP Server
Rank #2560io.github.rafapra3008/lu-mcp-server
Verify AI agent communication with session types and formal proofs
First listed
Mar 15, 2026
Last publish date
Mar 15, 2026
OVERVIEW
Lu MCP Server is a Model Context Protocol (MCP) server published by rafapra3008. It ranks #2560 of 58,900 servers tracked on MCP Toplist, and its repository has 26 GitHub stars. Lu MCP Server is listed on Official MCP, with 2 tracked versions. It was first listed on Mar 15, 2026 and most recently updated on Mar 15, 2026.
STANDING
#2,560of 58,900 tracked serversTop 5%
Ranks ahead of 56,340 of 58,900 servers on MCP Toplist.
CONNECT
Use Lu MCP Server
Add Lu MCP Server to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
Python package (PyPI)
{
"mcpServers": {
"lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}REGISTRIES
Listed on 1 registry
ORGANIZATION
rafapra3008
VERSIONS
Available versions (2)
| Version | Published |
|---|---|
| 0.1.1 | Mar 15, 2026 |
| 0.1.0 | Nov 25, 2024 |
FAQ
Frequently asked questions
- What is Lu MCP Server?
- Verify AI agent communication with session types and formal proofs
- Who maintains Lu MCP Server?
- Lu MCP Server is maintained by rafapra3008, which publishes 3 MCP servers (2 total versions) tracked on MCP Toplist.
- Is Lu MCP Server an official MCP server?
- Yes — Lu MCP Server is listed on the Official MCP Registry.
- How many versions does Lu MCP Server have?
- MCP Toplist tracks 2 versions of Lu MCP Server, most recently published on Mar 15, 2026.
- Where can I find the source code for Lu MCP Server?
- The source code for Lu MCP Server is hosted at github.com/rafapra3008/cervellaswarm.git.
EXPLORE