SERVER
lu-mcp-server
Rank #6057glama/rafapra3008/cervellaswarm
Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
First listed
Mar 15, 2026
Last publish date
—
OVERVIEW
lu-mcp-server is a Model Context Protocol (MCP) server published by rafapra3008. It ranks #6057 of 58,832 servers tracked on MCP Toplist, and its repository has 8 GitHub stars. lu-mcp-server is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Mar 15, 2026.
STANDING
#6,057of 58,832 tracked serversTop 25%
Ranks ahead of 52,775 of 58,832 servers on MCP Toplist.
REGISTRIES
Listed on 1 registry
ORGANIZATION
rafapra3008
VERSIONS
Not versioned
This server is published through a registry that does not expose explicit version metadata. The listing tracks a single rolling release.
FAQ
Frequently asked questions
- What is lu-mcp-server?
- Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
- 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?
- lu-mcp-server is not on the Official MCP Registry. It is listed on Glama.
- How many versions does lu-mcp-server have?
- lu-mcp-server ships as a single rolling release with no explicit version metadata.
- 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.
EXPLORE