MCP-серверСообщество
Assura
Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
Описание на языке оригинала
assura-lang · ↓ 0 установок
Установка
Сервер не публикует пакет или удалённый адрес — инструкции смотрите в репозитории.
Инструменты
Список инструментов появится, когда у сервера будет sandbox или его заполнит редакция.