SERVER
Lu Mcp Server
Rank #2506io.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 #2506 of 58,832 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,506of 58,832 tracked serversTop 5%
Ranks ahead of 56,326 of 58,832 servers on MCP Toplist.
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