Главная · Скиллы · solana-audit

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

workersio/spec

Аудит Solana.

Solana аудит Workers.io безопасность блокчейн

Установка

npx -y skills add workersio/spec --skill solana-audit --agent claude-code

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

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

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

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

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

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

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

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

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

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