Chimera Setup — Testing & QA agent for Claude Code
Scaffolds a complete Chimera-based property testing suite from an invariant-writer spec.
How to install Chimera Setup
Installs to ~/.claude/agents/calc1f4r-horus-chimera-setup.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/calc1f4r/Horus/HEAD/.claude/agents/chimera-setup.md -o ~/.claude/agents/calc1f4r-horus-chimera-setup.md Restart Claude Code, or start a new session, for it to be picked up.
What Chimera Setup does
name: chimera-setup description: Scaffolds a complete Chimera-based property testing suite from an invariant-writer spec. Generates all test/recon/ files (Setup, BeforeAfter, Properties, TargetFunctions, targets/, CryticTester, CryticToFoundry) plus foundry.toml, echidna.yaml, and medusa.json. Supports Echidna, Medusa, Foundry invariant tests, and Halmos symbolic execution out of the box. Use after invariant-writer produces an invariant spec and before running any fuzzing campaign. tools: [A
Alternatives in Testing & QA
- Facet Coder — Generates ONE facet Cypress spec (properties propertiesFx styles stylesFx events csa inspector variants) for a 41k ★
- Rivetkit Driver Test Writer — Use this agent when the user needs to write, modify, or debug driver tests for RivetKit 6.1k ★
- Propagate — Generate tests from Allium specifications 474 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Implementation Verifier
Verify that an implementation satisfies the spec's properties and requirements through property-based testing,
Ext Enumerator
Runs the RECON + ENUMERATION phase of an authorized external penetration test against the in-scope targets (IP
02 Test Prep.Agent
Test preparation specialist. Takes the QA planner's handoff and produces: concrete test cases (ISTQB-structure
Ctdd Red
TDD RED phase test writer. Reads a spec and writes failing tests that encode every rule/invariant/prohibition.
Tax Test Oracle
Builds the independent test suite for a tax engine - sourced golden vectors, property tests, boundary generato
Halmos Verification
Converts structured invariant specifications into compilable Halmos symbolic test suites (.t.sol) that run ins
Related Skills
Ae Expression Link
Property linking in After Effects: create controller nulls, link properties to controls, set up slider/checkbo
Solana Fuzz
Claude Code / Codex skill that writes Trident property and invariant fuzz tests for Solana programs (Anchor an
Chem Properties Excel
Claude Code Skill: Extract chemicals from any input, query 14 property fields across 12 sources, generate Exce