io.github.rafapra3008/lu-mcp-serverai

Lingua Universale MCP Server

Verified · today

Verify AI agent communication with session types and formal proofs

Install

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

Our take

Lingua Universale focuses on verifying AI agent communication using session types and formal proof concepts. It is for researchers or advanced developers interested in correctness guarantees, not typical application teams. The idea is distinctive, but it appears experimental and specialized, with a higher bar to evaluate and adopt than a conventional tool connector.

reviewed by hand · 2026-07-15

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
11
last commit
2 mo ago
archived
no
license
Apache-2.0
in registry since
2026-03-15

github.com/rafapra3008/cervellaswarm.git

More in ai

browse all →
claude-flowai

claude-flow

Verified · 17 days ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed73k stars19k dl/wkchecked 17 days ago

tldrawai

tldraw

Verified · 18 days ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 18 days ago

codebase-memory-mcpai

Codebase Memory

Verified · 8 days ago

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed45k stars12k dl/wkchecked 8 days ago

openmetadata-mcpai

OpenMetadata

Verified · today

Official OpenMetadata MCP: 21 read and write tools for search, lineage, data quality, governance.

hand-reviewed15k starschecked today

mobilerunai

mobilerun

Verified · 20 days ago

Control real Android and iOS devices with LLM agents — tap, swipe, type, automate flows.

hand-reviewed9.4k starschecked 20 days ago

praisonaiai

PraisonAI

Verified · 7 days ago

AI Agents Framework with Self Reflection and MCP support

hand-reviewed9.1k starschecked 7 days ago