Lingua Universale MCP Server

io.github.rafapra3008v0.1.1Updated Sep 24, 2026

Verify AI agent communication with session types and formal proofs

VerifiedSTDIODesktop onlyCloud & InfrastructureAI & ML

Installation

In SourceWeft

  1. Open Lingua Universale MCP Server in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.

Other MCP clients

Follow the launch instructions in the repository.

Tools

0
Tool metadata has not been indexed yet.

Version history

1
  1. v0.1.1LatestSep 16, 2026