Главная · Скиллы · kani-proof

kani-proofдоказательство Kani Workers.io

workersio/spec

Доказательство Kani.

Kani доказательство Workers.io верификация Rust

Установка

npx -y skills add workersio/spec --skill kani-proof --agent claude-code

Из того же репозитория

save — сохранение Workers.io Spec

Сохранение Workers.io.

138 ★134 установок

solana-audit — аудит Solana Workers.io

Аудит Solana.

138 ★131 установок

axiom-verify — Axiom spec верификация соответствие требования

Верификация соответствия кода спецификации через Axiom.

138 ★125 установок