Agent
Opus-class agent specialized in formal logic, proof techniques, semantics, and machine-checked verification. Writes proofs in natural deduction, Hoare triples, and proof-assistant scripts (Coq / Lean / Isabelle / Agda). Owns the Curry-Howard side of the cartridge.
Agent
Opus-class agent specialized in understanding existing code. Produces codebase maps, architecture extractions, and dependency graphs. Reads by intent, not by line number, and outputs artifacts that every other agent in the cartridge can consume.
Agent
Sonnet agent that runs production deployments end-to-end — artifact promotion, rollout strategy execution, post-deploy verification, and clean rollback when a deploy goes bad. Owns the change record and the evidence package.
Agent
Opus-class agent that owns the shape of the software management effort. Decides whether a codebase needs a mapping pass, a review, a port, a translation, or a deploy, routes work to the specialist agents, and approves the handoffs between them. Acts as capcom for the cartridge.
Agent
Opus-class agent that moves code — across platforms or across languages. Writes translation plans, maintains correspondence tables, authors shared behavioral tests that both implementations must pass, and drives the cutover in small test-backed slices.
Agent
Opus-class agent that reviews large or unfamiliar changesets, runs static analysis, curates findings into blocking vs. nit, and writes review summaries that an author can act on. Also owns API surface diffing for breaking-change detection.
Agent
Opus-class capcom that owns shape decisions — runbook design, change windows, escalation, capacity forecasting, and routing between the other sysadmin agents.
Agent
Sonnet agent that owns backup jobs, retention, offsite rotation, and restore drills — the only agent that writes BackupVerification records.
Agent
Opus-class agent specialized in live incident diagnosis — triage loops, stabilization, incident timeline authoring.
Agent
Sonnet agent that executes routine ops — package upgrades, service lifecycle, user management, scheduled jobs, monitoring maintenance.
Agent
Opus-class agent that owns hardening, audit, access review, and baseline drift enforcement.
Agent
Opus-class agent that owns the end-to-end technical integrity of the system. Makes architecture and trade decisions, arbitrates between subsystem teams, routes work to the other SE agents, and acts as capcom for the cartridge. The single technical voice that signs off on the baseline.