lookupd

io.github.rafapra3008/lu-mcp-server

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Lingua Universale MCP Server

Publisher-provided description

Verify AI agent communication with session types and formal proofs

Summary by lookupd

Lets an agent check communication protocols between AI agents against session types and formal proofs, returning verification results.

Install

Claude Code, pypi package (stdio)

claude mcp add lu-mcp-server -- uvx lu-mcp-server

Codex, pypi package (stdio)

codex mcp add lu-mcp-server -- uvx lu-mcp-server

Cursor, pypi package (stdio) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.rafapra3008/lu-mcp-server

[![lookupd status](https://lookupd.com/badge/io.github.rafapra3008/lu-mcp-server.svg)](https://lookupd.com/servers/io.github.rafapra3008/lu-mcp-server)