ПРОФИЛЬ / ИНСТРУМЕНТЫ РАЗРАБОТЧИКА

cervellaswarm

Проверяет протоколы общения ИИ-агентов с помощью типов сессий и формальных доказательств Lean 4.

Репозиторий — откроется в новой вкладкеСайт или документация — откроется в новой вкладке

СВЕДЕНИЯ ИЗ ИСХОДНОЙ БАЗЫ

О проекте

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

Исходное описание, снимок базы от 2026-10-03. Это не самостоятельная проверка редакции all-mcp.ru.