pashov/skills
Pashov Audit Group Skills
해결하는 문제
이 프로젝트는 Solidity 스마트 컨트랙트의 보안 감사를 자동화하고 강화하도록 설계된 AI 기반 도구 세트를 제공하여, 개발자와 감사자가 취약점을 찾고 테스트 스위트를 더 효율적으로 생성할 수 있도록 돕습니다.
작동 방식
Claude Code, Cursor, Codex, GitHub Copilot, Windsurf와 같은 AI 코딩 플랫폼과 통합되는 "스킬" 또는 프롬프트 기반 도구 모음으로 작동합니다. 사용자는 사전 감사 스캔을 위한 "x-ray" 또는 취약점 탐지를 위한 "solidity auditor"와 같은 명령어를 실행하여 특정 보안 워크플로우를 트리거할 수 있습니다.
대상 사용자
Solidity로 작성된 Foundry 또는 Hardhat 프로젝트를 보호해야 하는 스마트 컨트랙트 개발자 및 보안 감사자.
주요 특징
- Solidity Auditor: 수백 개의 치명적(Critical) 및 높음(High) 등급 취약점을 식별한 AI 보안 감사 도구.
- X-Ray: 위협 모델링을 수행하고, 불변량(invariants)을 식별하며, 진입점을 매핑하고, git 기록을 분석하는 사전 감사 도구.
- Fizz: 스마트 컨트랙트 프로젝트를 위한 포괄적인 Echidna 또는 Medusa 퍼징 스위트를 자동으로 생성하는 도구.
관련
- 프로젝트
- 프로젝트
- 프로젝트
- 프로젝트