calc1f4r

Attack Graph Synthesizer — Development agent for Claude Code

Development community

Systematically searches for multi-step and cross-contract attack chains by walking the codebase knowledge graph and checking each path against the invariant suite.

How to install Attack Graph Synthesizer

Installs to ~/.claude/agents/calc1f4r-horus-attack-graph-synthesizer.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/calc1f4r/Horus/HEAD/.claude/agents/attack-graph-synthesizer.md -o ~/.claude/agents/calc1f4r-horus-attack-graph-synthesizer.md

Restart Claude Code, or start a new session, for it to be picked up.

What Attack Graph Synthesizer does

name: attack-graph-synthesizer description: "Systematically searches for multi-step and cross-contract attack chains by walking the codebase knowledge graph and checking each path against the invariant suite. Produces attack-candidates.json for protocol-reasoning to validate. Use after Phase 4 (Discovery) when audit-output/graph/graph.json is available." tools: [Agent, Bash, Edit, Write, Glob, Grep, Read, WebFetch, WebSearch] maxTurns: 80

**Claude Code Agent Conventions**:

Spawn s

Alternatives in Development

Correlator — Finding correlation engine 812 ★
Dashclaw Gate Runner — Runs the DashClaw verification gates (lint, full vitest suite, build, contract checks) and returns ONLY the fa 297 ★
Chain Executor — Executes delegated chain steps with context isolation 186 ★