Server data from the Official MCP Registry
Verify AI agent communication with session types and formal proofs
Verify AI agent communication with session types and formal proofs
Add this to your MCP configuration file:
{
"mcpServers": {
"io-github-rafapra3008-lu-mcp-server": {
"args": [
"lu-mcp-server"
],
"command": "uvx"
}
}
}This MCP server appears to be a wrapper for the Lingua Universale protocol verification language. The code shows good practices with proper error handling, human-friendly error messages, and appropriate permissions for a developer tool. Only minor code quality findings were identified. Package verification found 1 issue.
Scanned 4 files · 3 findings
Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.
This plugin requests these system permissions. Most are normal for its category.
Be the first to review this server!