Lingua Universale MCP Server

io.github.rafapra3008/lu-mcp-server

Verify AI agent communication with session types and formal proofs

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.1.1
Registry
active
Published
3/15/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.rafavecchi/grantd

rafavecchi

Grantd MCP server: let your AI agent act on a user's behalf across third-party APIs via OAuth.

Developer ToolsAdded 5 months ago

io.github.rafe-walker/kronicle-lite

rafe-walker

Hash-chained local document store with signed receipts and an orient protocol for stale agent memory

Developer ToolsAdded 1 week ago

io.github.rafe-walker/sea-lite

rafe-walker

Work queue for parallel coding agents: leased path-scoped claims, typed links, hash-chained history

Developer ToolsAdded 1 week ago

io.github.Raffaele86/local-leads-mcp

Raffaele86

Find local businesses with no website via OpenStreetMap, then verify them. No API keys needed.

Developer ToolsAdded 3 months ago

io.github.Raffaele86/seo-stack-mcp

Raffaele86

The complete open-source SEO data stack for AI agents: 7 sources, 86 tools, one MCP server

Developer ToolsAdded 3 months ago

Credit Optimizer v5 for Manus AI

rafsilva85

Optimizes Manus AI credit usage by 30-75% via intelligent model routing and smart testing.

Developer ToolsAdded 8 months ago

Add the badge to your site

Show visitors that Lingua Universale MCP Server is listed here — it’s also the link we check for a free listing.

Lingua Universale MCP Server — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-rafapra3008-lu-mcp-server?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Lingua Universale MCP Server — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Lingua Universale MCP Server — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-rafapra3008-lu-mcp-server?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.