Claude Маркетплейс

Скиллы MCP-серверы Плагины Дайджест

Русскоязычный каталог инструментов для Claude Code: скиллы, MCP-серверы, плагины и еженедельный дайджест — с переводом описаний на русский. · О проекте

kani-proof · Скиллы · Claude Маркетплейс

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

W

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 установок

О пакете

ТипСкилл

Звёзды138 ★

Установок137

Открыть на GitHub →Оригинал (источник) →