Solidity Auditor

What it does

When your agent uses it

• Check this contract
• Review for security

Example prompts

• “check this contract”
• “review for security”
• “/solidity-auditor”

Workflow steps

3 steps, taken from the first numbered list in SKILL.md.

1. 1Read your system prompt to detect your own model family (Opus, Sonnet, or Haiku). Ignore the version digits — the Agent tool's model…
2. 2Call AskUserQuestion with
3. 3Store the runner's choice as {agent_model}. If no answer, default to the orchestrator's own model.

What it can do on your machine

Read from SKILL.md and the folder at commit 068399d. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  Shell commands in SKILL.md call:

  • curl

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  Hosts in commands or code, which the agent is likely to contact:

  • raw.githubusercontent.com
  • github.com

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Solidity Auditor loads about 3.7k tokens when it runs, and up to ~20k if it reads all its reference files. Until then it costs about 46 tokens; SKILL.md has 988 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~46

When it runs · the whole SKILL.md, loaded when a task matches

~3.7k

With references · SKILL.md plus every file in references/, read only if the agent opens them

~20k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Without a licence we can't republish the file, so here is its outline and opening line. It has 988 words (~3,737 tokens).

name

solidity-auditor

Read the full SKILL.md on GitHub

Files

SKILL.md and 18 other files (references) in skills/pashov/solidity-auditor of Gabson0x/bountyforge.

• SKILL.md
• README.md
• VERSION
• references/hacking-agents/access-control-agent.md
• references/hacking-agents/asymmetry-agent.md
• references/hacking-agents/boundary-agent.md
• references/hacking-agents/economic-security-agent.md
• references/hacking-agents/execution-trace-agent.md
• references/hacking-agents/first-principles-agent.md
• references/hacking-agents/flow-gap-agent.md
• references/hacking-agents/invariant-agent.md
• references/hacking-agents/math-precision-agent.md
• references/hacking-agents/numerical-gap-agent.md
• references/hacking-agents/periphery-agent.md
• references/hacking-agents/shared-rules.md
• references/hacking-agents/trust-gap-agent.md
• references/judging.md
• references/report-formatting.md
• references/senior-auditor-sop.md

Open the folder on GitHubat commit 068399d