herakles-dev

Typesafe Adversary — Development agent for Claude Code

Development community

Red-teams TypeSafe integrations before users do.

How to install Typesafe Adversary

Installs to ~/.claude/agents/herakles-dev-typesafe-claude-kit-typesafe-adversary.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/herakles-dev/typesafe-claude-kit/HEAD/agents/typesafe-adversary.md -o ~/.claude/agents/herakles-dev-typesafe-claude-kit-typesafe-adversary.md

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

What Typesafe Adversary does

name: typesafe-adversary description: "Red-teams TypeSafe integrations before users do. Probes the nine documented Jev failure modes, tests prompt injection through state, hunts literal-reading traps and false structural invariants. Produces failing cases with the exact state that triggered them. Required before any integration that reads untrusted text ships." model: opus color: red category: typesafe default_mode: subagent effort: high triggers:

"break this typesafe integration"
"r

Alternatives in Development

Ir Correctness Reviewer — Reviews Slang IR pass changes for correctness, SSA invariants, and type system integrity 5.6k ★
Cross Linker — Scan recent or specified notes for missing wikilinks 4.6k ★
Herald — You are a specialized release agent 3.6k ★