MCP серверҲамжамият
Assura
Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
Тавсиф асл тилда
assura-lang · ↓ 0 та ўрнатиш
Ўрнатиш
Сервер пакет ёки масофавий манзилни эълон қилмаган — кўрсатмаларни репозиторийдан қаранг.
Инструментлар
Инструментлар рўйхати серверда синов муҳити пайдо бўлганда ёки таҳририят уни тўлдирганда кўринади.