Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.
日本語の概要は準備中です。原文の説明を表示しています。
Claude Skills meta-skill: extract domain material (docs/APIs/code/specs) into a reusable Skill (SKILL.md + references/scripts/assets), and refactor existing Skills for clarity, activation reliability, and quality gates.
インストールする前に、エージェントに与えられる指示の中身を確認できます。
Turn scattered domain material into a Skill that is reusable, maintainable, and reliably activatable:
SKILL.md as the entrypoint (triggers, constraints, patterns, examples)references/ for long-form evidence and navigationscripts/ and assets/ for scaffolding and templatesTrigger this meta-skill when you need to:
references/This meta-skill is NOT:
Your output MUST include:
skills/<skill-name>/)SKILL.md with decidable triggers, boundaries, and reproducible examplesreferences/ with a references/index.mdThis meta-skill exposes the tools/external/Skill_Seekers-development submodule through a relative symlink so you can generate a first-draft Skill from:
Bootstrap dependencies (once):
./skills/auto-skill/scripts/skill-seekers-bootstrap.sh
Run Skill Seekers (from linked source):
./skills/auto-skill/scripts/skill-seekers.sh -- --version
./skills/auto-skill/scripts/skill-seekers.sh -- scrape --config ./skills/auto-skill/scripts/Skill_Seekers-development/configs/react.json
./skills/auto-skill/scripts/skill-seekers.sh -- github --repo facebook/react --name react
Import the generated skill into this repo's canonical skills/ tree:
./skills/auto-skill/scripts/skill-seekers-import.sh react
./skills/auto-skill/scripts/skill-seekers-import.sh react --force
Update the linked source by moving the tools/external/Skill_Seekers-development submodule pointer directly. The update helper is guarded to avoid overwriting the linked repository.
./skills/auto-skill/scripts/skill-seekers-update.sh --dry-run
skill-name/
|-- SKILL.md # Required: entrypoint with YAML frontmatter
|-- references/ # Optional: long-form docs/evidence/index
| `-- index.md # Recommended: navigation index
|-- scripts/ # Optional: helpers/automation
`-- assets/ # Optional: templates/configs/static assets
The truly minimal version is just SKILL.md (you can add references/ later).
---
name: skill-name
description: "What it does + when to use (activation triggers)."
---
Frontmatter rules:
name MUST match ^[a-z][a-z0-9-]*$ and SHOULD match the directory namedescription MUST be decidable (not "helps with X") and include concrete trigger keywordsSKILL.md Skeleton (Copy/Paste)---
name: my-skill
description: "[Domain] capability: includes [capability 1], [capability 2]. Use when [decidable triggers]."
---
# my-skill Skill
One sentence that states the boundary and the deliverable.
## When to Use This Skill
Trigger when any of these applies:
- [Trigger 1: concrete task/keyword]
- [Trigger 2]
- [Trigger 3]
## Not For / Boundaries
- What this skill will not do (prevents misfires and over-promising)
- Required inputs; ask 1-3 questions if missing
## Quick Reference
### Common Patterns
**Pattern 1:** one-line explanation
```text
[command/snippet you can paste and run]
references/index.md: navigationreferences/...: long-form docs split by topic
### Authoring Rules (Non-negotiable)
1. Quick Reference is for short, directly usable patterns
- Keep it <= 20 patterns when possible.
- Anything that needs paragraphs of explanation goes to `references/`.
2. Activation must be decidable
- Frontmatter `description` should say "what + when" with concrete keywords.
- "When to Use" must list specific tasks/inputs/goals, not vague help text.
- "Not For / Boundaries" is mandatory for reliability.
3. No bluffing on external details
- If the material does not prove it, say so and include a verification path.
### Workflow (Material -> Skill)
Do not skip steps:
0. If your source material is a docs site / GitHub repo / PDF: generate a first draft with the linked Skill Seekers tool, then import into `skills/<skill-name>/`
1. Scope: write MUST/SHOULD/NEVER (three sentences total is fine)
2. Extract patterns: pick 10-20 high-frequency patterns (commands/snippets/flows)
3. Add examples: >= 3 end-to-end examples (input -> steps -> acceptance)
4. Define boundaries: what is out-of-scope + required inputs
5. Split references: move long text into `references/` + write `references/index.md`
6. Apply the gate: run the checklist and the validator
### Quality Gate (Pre-delivery Checklist)
Minimum checks (see `references/quality-checklist.md` for the full version):
1. `name` matches `^[a-z][a-z0-9-]*$` and matches the directory name
2. `description` states "what + when" with concrete trigger keywords
3. Has "When to Use This Skill" with decidable triggers
4. Has "Not For / Boundaries" to reduce misfires
5. Quick Reference is <= 20 patterns and each is directly usable
6. Has >= 3 reproducible examples
7. Long content is in `references/` and `references/index.md` is navigable
8. Uncertain claims include a verification path (no bluffing)
9. Reads like an operator's manual, not a documentation dump
Validate locally:
```bash
# From repo root (basic validation)
./skills/auto-skill/scripts/validate-skill.sh skills/<skill-name>
# From repo root (strict validation)
./skills/auto-skill/scripts/validate-skill.sh skills/<skill-name> --strict
# From skills/auto-skill/ (basic validation)
./scripts/validate-skill.sh ../<skill-name>
# From skills/auto-skill/ (strict validation)
./scripts/validate-skill.sh ../<skill-name> --strict
Generate a new Skill skeleton:
# From repo root (generate into ./skills/)
./skills/auto-skill/scripts/create-skill.sh my-skill --full --output skills
# From auto-skill/ (generate into ../ i.e. ./skills/)
./scripts/create-skill.sh my-skill --full --output ..
# Minimal skeleton
./skills/auto-skill/scripts/create-skill.sh my-skill --minimal --output skills
Templates:
assets/template-minimal.mdassets/template-complete.mdcreate-skill.sh to scaffold skills/<skill-name>/description as "what + when"references/ and wire references/index.mdvalidate-skill.sh --strict and iterateSKILL.md with long pasted documentationreferences/ (split by topic)skills/<skill-name>/validate-skill.sh (non-strict) to get warningsvalidate-skill.sh --strict to enforce the specreferences/quality-checklist.md before shippingLocal docs:
references/index.mdreferences/skill-spec.mdreferences/quality-checklist.mdreferences/anti-patterns.mdreferences/README.md (upstream official reference)references/skill-seekers.md (linked tool integration + workflow)External (official):
skills/auto-skill/references/ + upstream official docs in references/README.mdvalidate-skill.sh is heuristic; strict mode assumes the recommended section headingsまだレビューはありません。使ってみた感想をお寄せください。
概要と使いどころ
Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.
日本語の概要は準備中です。原文の説明を表示しています。
Pre-deployment security audit of Solidity smart contracts in a Foundry project. Combines static analysis (Slither, Aderyn), symbolic execution (Mythril), and property-based testing (forge fuzz + invariant tests with handlers) to catch reentrancy, access-control, oracle/price manipulation, and arithmetic bugs BEFORE deploying to an EVM chain. Also enforces key hygiene (no plaintext private keys, encrypted cast keystore) and a secure deploy workflow. Use when writing, reviewing, testing, or deploying Solidity/Foundry contracts, building a dApp, or working with forge/cast/anvil, MetaMask, or Web3/DeFi code.
日本語の概要は準備中です。原文の説明を表示しています。
tmux 自动化操控:用 scripts/auto-tmux.sh 安全读取、发送、巡检、救援、录制 session|window|pane,用 swarm-state.sh 管理蜂群任务/锁/状态,并基于 oh-my-tmux 组织多 AI 终端协作。触发:capture-pane、send-keys、批量巡检、蜂群 AI 协作、卡死救援、tmux 工作台初始化。
日本語の概要は準備中です。原文の説明を表示しています。
可重跑的数学计算与反例实验。用于 SymPy 精确代数/微积分/方程/矩阵、NumPy/SciPy 数值方法、mpmath 高精度交叉检查、OEIS 序列识别、有限范围反例搜索和计算证据记录。
日本語の概要は準備中です。原文の説明を表示しています。
数学公式与理论线推导。用于整理散乱公式、固定不变量和记号、推导恒等式/近似/局部命题、检查隐藏假设,或把理论笔记变成可审计推导包。
日本語の概要は準備中です。原文の説明を表示しています。
数学问题发现与证据检索。用于界定研究问题、查定义/定理谱系、检索 arXiv/Scholar/OpenAlex/Crossref、建立来源账本、证据图、查新或从证据缺口生成可证伪猜想。
日本語の概要は準備中です。原文の説明を表示しています。