Home › Servers › Io Github Rafapra3008 Lu Mcp Server

Io Github Rafapra3008 Lu Mcp Server

Verify AI agent communication with session types and formal proofs

development

Quick Install

npx -y io.github.rafapra3008/lu-mcp-server

Version

0.1.1

Package

io.github.rafapra3008/lu-mcp-server

Repository

rafapra3008/cervellaswarm.git

About Io Github Rafapra3008 Lu Mcp Server

Verify AI agent communication with session types and formal proofs This MCP server enables AI assistants like Claude, ChatGPT, and other MCP-compatible clients to interact with Io Github Rafapra3008 Lu Mcp Server functionality directly.