Claude Инструменты
Главная · Скиллы · axiom-verify

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

workersio/spec

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

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

Установка

npx -y skills add workersio/spec --skill axiom-verify --agent claude-code

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

kani-proof — доказательство Kani Workers.io
workersio/spec
Доказательство Kani.
138 ★137 установок
save — сохранение Workers.io Spec
workersio/spec
Сохранение Workers.io.
138 ★134 установок
solana-audit — аудит Solana Workers.io
workersio/spec
Аудит Solana.
138 ★131 установок