Lu MCP Server
MCP Server
Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
工具数
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
部署方式（deploymentType，部署类型）
remote-capable
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：category / installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
luma MCP
Luma MCP是一个多模型视觉理解MCP服务器，为不支持原生视觉能力的AI助手提供统一的图片分析能力，适用于代码截图、UI截图、报错截图、文档截图和OCR等多种场景。
下一个 MCP
Lumen Resto MCP
Enables restaurant reservation management and schedule checking through Supabase with multi-tenant support. Designed for WhatsApp and phone agents to verify opening hours, create reservations with automatic table assignment, and handle multiple restaurants from a single server.