Lingua Universale MCP Server
by rafapra3008io.github.rafapra3008/lu-mcp-serverv0.1.1
Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.
context tax
queued
security
queued
cold start
queued
freshness
Maintained52d ago
Install Lingua Universale MCP server
Install in Claude Code
claude mcp add lu -- uvx lu-mcp-serverInstall in Cursor
{
"mcpServers": {
"lu": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"lu": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"lu": {
"type": "stdio",
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"lu": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Maintained — last maintenance signal 52d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-08-18 · 52d ago · GitHub
Latest release
2026-03-17 · 7mo ago · GitHub · lingua-universale-v0.5.0
Package published
no data · npm/PyPI
Registry entry updated
2026-03-15 · 7mo ago · official registry · v0.1.1
FAQ
›How do I install the Lingua Universale MCP server in Claude Code?
Run: claude mcp add lu -- uvx lu-mcp-server. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Lingua Universale require an API key?
No required environment variables are declared in its published metadata.
›Can I use Lingua Universale as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Lingua Universale in the official MCP registry?
Yes, as io.github.rafapra3008/lu-mcp-server.
Alternatives to Lingua Universale
Other security MCP servers.
SemgrepActiveScan code for security vulnerabilities using Semgrep.
Ida ProActiveIDA Pro plugin for binary analysis: decompilation, disassembly and automatic malware analysis reports.
GhidraAbandonedAutonomous reverse engineering with Ghidra: decompile binaries, rename methods and data, and list methods, classes, imports and exports.
Robin: AI-Powered Dark Web OSINTActiveDark web OSINT over Tor: search onion engines, scrape pages, report with your own model.
Claude Code Ultimate GuideActiveSearch the Claude Code Ultimate Guide, official Anthropic documentation, releases, examples, security references, agent harness data, and translations from any MCP-compatible client.
Jadx AIActiveJADX decompiler plugin providing live, LLM-assisted reverse engineering.