Lingua Universale MCP Server for LangChain
io.github.rafapra3008/lu-mcp-server
Verify AI agent communication with session types and formal proofs
client:LangChain
transport:stdio
runtime:pypi
Install Lingua Universale MCP Server in LangChain
pip install langchain-mcp-adapters
from langchain_mcp_adapters.client import MultiServerMCPClient
client = MultiServerMCPClient({
"lu-mcp-server": {
"transport": "stdio",
"command": "uvx",
"args": ["lu-mcp-server"],
}
})
tools = await client.get_tools()
get_tools() returns the server's tools as LangChain tools, ready for an agent. LangChain docs