view --main trailofbits-skills-kompleksnyy-nabor-instrumentov-dlya-bezopasnoy-razrabotki-smart-kontraktov.md

trailofbits-skills — Комплексный набор инструментов для безопасной разработки смарт-контрактов

Name: trailofbits-skills — Комплексный набор инструментов для безопасной разработки смарт-контрактов
Author: jiayaoqijia/cryptoskill

Обеспечьте безопасность ваших смарт-контрактов с помощью специализированных навыков от Trail of Bits, создателей Slither, Echidna и Medusa. Этот набор инструментов предоставляет комплексные решения для автоматизированного анализа, тестирования и разработки, значительно повышая качество и надежность ваших проектов.

Набор включает в себя сканеры уязвимостей для популярных платформ, таких как Solidity, Cairo, Solana, TON, Cosmos, Substrate и Algorand, а также инструменты для property-based тестирования, статического анализа с использованием CodeQL и Semgrep, и подготовки к аудиту контрактов. Это позволяет выявлять потенциальные проблемы на ранних этапах разработки.

Установите набор навыков через marketplace Claude Code с помощью команды /plugin marketplace add trailofbits/skills или выберите отдельные плагины для оптимизации вашего рабочего процесса. Получите доступ к передовым методам и инструментам для безопасной разработки и аудит контрактов.

$ git log --oneline --stat

⭐ звёзды: 23

форки: 10

обновлено: 30 марта 2026 года в 12:00

Проводник файлов

1 файлы

SKILL.md

readonly --- lines

--- name: trailofbits-skills description: "Security testing skills from creators of Slither, Echidna, Medusa. Smart contract vulnerability scanners, property-based testing, static analysis, and audit tools from Trail of Bits." version: 1.0.0 metadata: openclaw: tags: [security, audit, slither, echidna, medusa, smart-contracts, vulnerability-scanner, trail-of-bits] official: true source: "https://github.com/trailofbits/skills" --- # Trail of Bits Skills Official security testing skills from Trail of Bits, creators of Slither, Echidna, and Medusa. A Claude Code plugin marketplace providing skills for AI-assisted security analysis, testing, and development workflows. Includes smart contract vulnerability scanners for 6+ blockchains (Solidity, Cairo, Solana, TON, Cosmos, Substrate, Algorand), property-based testing guidance, static analysis with CodeQL and Semgrep, audit preparation, and security-focused code review tools. ## Installation ``` /plugin marketplace add trailofbits/skills ``` Or browse and install individual plugins: ``` /plugin menu ``` ## Available Security Skills ### Smart Contract Security - **building-secure-contracts** - Vulnerability scanners for Solidity, Cairo, Solana, TON, Cosmos, Substrate, Algorand - **entry-point-analyzer** - Identify state-changing entry points for security auditing - **token-integration-analyzer** - ERC20/ERC721 conformity and weird token pattern detection ### Code Auditing - **audit-context-building** - Ultra-granular code analysis for audit context - **differential-review** - Security-focused review of code changes - **variant-analysis** - Find similar vulnerabilities across codebases - **static-analysis** - CodeQL, Semgrep, and SARIF parsing toolkit - **supply-chain-risk-auditor** - Audit dependency supply-chain risks ### Verification - **property-based-testing** - Property-based testing for multiple languages and smart contracts - **spec-to-code-compliance** - Specification-to-code compliance checker - **constant-time-analysis** - Detect timing side-channels in cryptographic code ## Links - **GitHub**: https://github.com/trailofbits/skills - **Trail of Bits**: https://www.trailofbits.com - **Building Secure Contracts**: https://secure-contracts.com

Инициализация мануала...