Skills/Agent Hub
pashov/skills
Pashov Audit Group 的智能合约分析与安全审计 Skills。
License: MIT
Repository files
- .github/ISSUE_TEMPLATE/bug_report.md
- .github/ISSUE_TEMPLATE/feature_request.md
- .github/pull_request_template.md
- .github/workflows/version-bump.yml
- .gitignore
- CLAUDE.md
- CODE_OF_CONDUCT.md
- CONTRIBUTING.md
- LICENSE
- README.md
- SECURITY.md
- fizz/README.md
- fizz/SKILL.md
- fizz/VERSION
- fizz/agents/implementers/global-property-implementer.md
- fizz/agents/implementers/specific-property-implementer.md
- fizz/agents/invariant-discovery/adversarial-profit-maximizer.md
- fizz/agents/invariant-discovery/conservation-auditor.md
- fizz/agents/invariant-discovery/protocol-type-specialist.md
- fizz/agents/invariant-discovery/roundtrip-rounding-analyst.md
- fizz/agents/invariant-discovery/state-transition-mapper.md
- fizz/agents/invariant-discovery/synthesizer.md
- fizz/agents/protocol-analyzer.md
- fizz/agents/report-writer.md
- fizz/evals/evals.json
- fizz/references/handler-patterns.md
- fizz/references/property-generation.md
- fizz/references/selection-policy.md
- fizz/references/setup-playbook.md
- fizz/references/template-map.md
- fizz/scripts/ensure_foundry.sh
- fizz/scripts/estimate_cost.js
- fizz/scripts/extract_abis.js
- fizz/scripts/fizz_sync.js
- fizz/scripts/generate_handlers.js
- fizz/scripts/generate_suite.js
- fizz/scripts/lib/log-viewer.js
- fizz/scripts/run_echidna.js
- fizz/scripts/run_medusa.js
- fizz/scripts/select_functions.js
- fizz/scripts/setup_fuzz_profile.sh
- fizz/skills/fizz-convert/SKILL.md
- fizz/skills/fizz-sync/SKILL.md
- fizz/templates/Actor.sol
- fizz/templates/Base.sol
- fizz/templates/FoundryTester.sol
- fizz/templates/FuzzTester.sol
- fizz/templates/Properties.sol
- fizz/templates/README.md
- fizz/templates/Snapshots.sol