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

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

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

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

Главная · Скиллы · axiom-verify

W

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

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

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

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

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

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

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

Аудит Solana.

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

О пакете

ТипСкилл

Звёзды138 ★

Установок125

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