Lingua Universale MCP Server

stdio

v0.1.1

Verify AI agent communication with session types and formal proofs

Автор: rafapra3008·Лицензия: Apache-2.0· Репозиторий

github

rafapra3008

Транспорт

MCP-сервер использует stdio. Локальный процесс обменивается данными через стандартный ввод и вывод.

Find and engage verified nonprofits for corporate giving

Run legal research and draft work product

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.