# Lingua Universale MCP Server MCP server

Verify AI agent communication with session types and formal proofs

## Links
- Registry page: https://www.getdrio.com/mcp/io-github-rafapra3008-lu-mcp-server
- Repository: https://github.com/rafapra3008/cervellaswarm.git

## Install
- Command: `uvx lu-mcp-server`
- Auth: Not captured

## Setup notes
- Package: Pypi lu-mcp-server v0.1.1

## Tools
Not captured

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: io.github.rafapra3008
- Version: 0.1.1
- Runtime: Pypi
- Transports: STDIO
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: Mar 15, 2026
- Source: https://registry.modelcontextprotocol.io