io.github.rafapra3008/lu-mcp-serverai

Lingua Universale MCP Server

Verified · 16 days ago

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
16 days ago
github stars
9
last commit
3 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 · 2 days ago

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

hand-reviewed68k starschecked 2 days ago

tldrawai

tldraw

Verified · 4 days ago

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

hand-reviewed50k starschecked 4 days ago

codebase-memory-mcpai

Codebase Memory

Verified · 21 days ago

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

hand-reviewed36k stars5.8k dl/wkchecked 21 days ago

openmetadata-mcpai

OpenMetadata

Verified · 16 days ago

Official OpenMetadata MCP: governed context and business semantics for AI assistants and agents.

hand-reviewed15k starschecked 16 days ago

mobilerunai

mobilerun

Verified · 5 days ago

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

hand-reviewed9.1k starschecked 5 days ago

praisonaiai

PraisonAI

Verified · 20 days ago

AI Agents Framework with Self Reflection and MCP support

hand-reviewed8.5k starschecked 20 days ago