Verify AI agent communication with session types and formal proofs
Verify AI agent communication with session types and formal proofs
Is it safe?
No package registry to scan for CVEs.
No authentication — any process on your machine can connect to this server.
License not specified.
Last scanned 0 days ago.
Is it maintained?
Commit history unknown.
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
How much context will it use?
0 tools. Token cost not measured.
What if it doesn't work?
Common issues: JSON syntax errors in config. Setup guide covers troubleshooting. Or check GitHub issues for known problems.
{
"mcpServers": {
"io-github-rafapra3008-lu-mcp-server": {
"command": "<see-readme>",
"args": []
}
}
}No install config available. Check the server's README for setup instructions.
No automated test available for this server. Check the GitHub README for setup instructions.
This server is missing description, tools, and install config. If you've used it, help the community by adding this info.
Add informationLast scanned 1h ago
No known vulnerabilities.
Have you used this server?
Share your experience — it helps other developers decide.
Sign in to write a review.
Start a conversation
Ask a question, share a tip, or report an issue.
Sign in to join the discussion.