Home › Security › Lingua Universale MCP Server

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs

Python Local macOSWindowsLinux

★ 11 stars Last pushed 2026-08-18 License: Apache-2.0

View repository →

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

uvx lu-mcp-server

Or add to your MCP client config:

{
  "mcpServers": {
    "cervellaswarm": {
      "command": "uvx",
      "args": [
        "lu-mcp-server"
      ]
    }
  }
}

MCP server for IDA Pro, allowing you to perform binary analysis with AI assistants. This plugin implement decompilation, disassembly and…

A Model Context Protocol server for Ghidra that enables LLMs to autonomously reverse engineer applications. Provides tools for decompiling…

JADX-AI-MCP is a plugin and MCP Server for the JADX decompiler that integrates directly with Model Context Protocol (MCP) to provide live…

Beelzebub is a honeypot framework that lets you build honeypot tools using MCP. Its purpose is to detect prompt injection or malicious…

Protect your AI agents and IDEs from malicious open-source packages.

Dead code, security, secrets detection and code quality for Python, TypeScript, Go.

Data from the Official MCP Registry