AI & Agent ToolsActive
Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs
AI & Agent ToolsactivePackageOpen Sourcepypi
About This MCP Server
- Connection type
- Local/package connection
- Transport
- stdio
- Package registry
- pypi
- Package identifier
- lu-mcp-server
- Remote endpoint
- N/A
- Repository
- Available
- Registry
- io.github.rafapra3008/lu-mcp-server
- Version
- 0.1.1
Install Command
Use this package command in an MCP client configuration.
uvx lu-mcp-serverSource & Metadata
- Registry name
- io.github.rafapra3008/lu-mcp-server
- Status
- active
- Created
- Mar 15, 2026
- Updated
- Mar 15, 2026
- Last synced
- Aug 18, 2026
- Version
- 0.1.1
- Transport
- stdio
- Package type
- pypi
Related MCP Servers
AEO Scanner
AI visibility for ChatGPT/Perplexity/Claude — triple score (AEO+GEO+Agent) with fix code. Free.
streamable-httpactive
agent-tools (x402 + MCP + A2A directory)
Discover x402 services, MCP servers and A2A agents by intent — agent-tools.cloud directory.
streamable-httpactive
ai·rete·rag
Author rules from policy docs, then decide: a Rete engine gives the verdict, an LLM explains why.
streamable-httpactive
AiPayGen — 65+ AI Tools as an MCP Server
65+ AI tools as MCP: research, write, code, scrape, translate, RAG, agent memory, workflows
streamable-httpactive
Algenta MCP Server
Governed data discovery, exact queries, decisions, simulations, and runtime utilities over MCP.
streamable-httpactive
Animica
Read-only Animica chain data, free AI inference, verifiable quantum randomness, and mining stats.
streamable-httpactive