GM
GitHub MCP Server
Репозитории, задачи и pull request в рабочем процессе AI-ассистента.
C
MCP-сервер
cervellaswarm
Описание из исходного каталога
Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment
- Категория
- Инструменты разработчика