io.github.rafapra3008/lu-mcp-server
Проверка коммуникации AI agent с session types и formal proofs
AIrafapra3008
Локальный · pypi
official
Что это
Проверка коммуникации AI agent с session types и formal proofs
Как подключить
1Официальный package
pypi · lu-mcp-server==0.1.1
2Установить и запустить в терминале
uvx lu-mcp-server==0.1.1
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-rafapra3008-lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server==0.1.1"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.