Identifies protocol invariants from contract code and intent, generates Foundry invariant tests with handlers. Use from /invariant and /audit-deep.
How to install invariant-writer?
omermaksutii/rugproof/invariant-writer
$curl -o .claude/agents/invariant-writer.md https://raw.githubusercontent.com/omermaksutii/rugproof/HEAD/agents/invariant-writer.mdInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Install invariant-writer by running `curl -o .claude/agents/invariant-writer.md https://raw.githubusercontent.com/omermaksutii/rugproof/HEAD/agents/invariant-writer.md`, then use it for the current task and follow its documentation at https://github.com/omermaksutii/rugproof.
Related
6 picksType
- playwright-test-generatorUse this agent when you need to create automated browser tests using Playwright Examples: <example>Context: User wants to generate a test for the test plan item.Jul 2026
- playwright-test-healerUse this agent when you need to debug and fix failing Playwright testsJul 2026
- playwright-test-plannerUse this agent when you need to create comprehensive test plan for a web application or websiteJul 2026
- test-engineerQA engineer specialized in test strategy, test writing, and coverage analysis. Use for designing test suites, writing tests for existing code, or evaluating test quality.Jul 2026
- qa-testerInteractive CLI testing specialist using tmux for session managementJul 2026
- test-engineerTest strategy, integration/e2e coverage, flaky test hardening, TDD workflowsJul 2026
