Skip to content

Add .pashov-skills-constraints.yaml support#15

Open
danogurtsov wants to merge 1 commit intopashov:mainfrom
danogurtsov:feat/constraints-yaml
Open

Add .pashov-skills-constraints.yaml support#15
danogurtsov wants to merge 1 commit intopashov:mainfrom
danogurtsov:feat/constraints-yaml

Conversation

@danogurtsov
Copy link

Summary

  • Adds optional .pashov-skills-constraints.yaml file that developers drop in their repo root to declare codebase properties (tokens used, standards, cross-chain, proxy pattern, oracle, account abstraction)
  • Agents use these during triage to skip irrelevant attack vectors, reducing noise and scan time
  • Code overrides constraints

What changed (5 files, +44/-10)

  • SKILL.md — orchestrator reads the file in Turn 1, prepends it to bundles in Turn 2, passes to Agent 5 in Turn 3, shows in report scope table in Turn 4
  • vector-scan-agent.md — triage pass uses constraints to fast-track Skip classification
  • adversarial-reasoning-agent.md — reads constraints file, uses it to focus analysis
  • report-formatting.md — optional Constraints row in scope table
  • README.md — documents the feature with example YAML

Tested on

Two Solidity contracts (Vault + StakingRewards, ~110 lines) with intentional bugs (missing access control, CEI violation, reward ordering bug). Full 4-agent orchestration with constraints tokens: [USDC, WETH], standards: [ERC20], cross_chain: false, proxy_pattern: none, oracle: none. Agents correctly skipped 50-80% of irrelevant vectors per bundle and adjusted confidence based on declared token properties. All 3 planted bugs found. Backward compatible — works without the file.

Optional YAML file for declaring codebase properties (tokens, standards,
cross-chain, proxy, oracle, account abstraction). Agents use it to skip
irrelevant attack vectors during triage. Code overrides constraints.
sanbir added a commit to sanbir/solidity-auditor-skills that referenced this pull request Mar 9, 2026
Optional YAML file for declaring codebase properties (tokens, standards,
cross-chain, proxy, oracle, account abstraction). Agents use it to skip
irrelevant attack vectors during triage. Code overrides constraints.

From: pashov/skills#15

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant