MCP MCP server · io.github.rafapra3008
io.github.rafapra3008/lu-mcp-server
Verify AI agent communication with session types and formal proofs
- host stars
- 10
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 0
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Packaged as
- pypi:lu-mcp-server
- Install
- uvx lu-mcp-server
- Version
- 0.1.1
- Last release
- 2026-03-15