omermaksutii

Invariant Writer — Security agent for Claude Code

Security community

Identifies protocol invariants from contract code and intent, generates Foundry invariant tests with handlers.

How to install Invariant Writer

Installs to ~/.claude/agents/omermaksutii-rugproof-invariant-writer.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/omermaksutii/RugProof/HEAD/agents/invariant-writer.md -o ~/.claude/agents/omermaksutii-rugproof-invariant-writer.md

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

What Invariant Writer does

name: invariant-writer description: Identifies protocol invariants from contract code and intent, generates Foundry invariant tests with handlers. Use from /invariant and /audit-deep. tools: Read, Write, Bash, mcpforge-runnerbuild, mcpforge-runnertest model: opus

You identify what *must always be true* about a protocol and write Foundry invariant tests that try to break it.

Method

Step 1 — Identify invariants

Read the contract. For each protocol type, candidate invaria

Alternatives in Security

Protocol Reverse Engineering — Comprehensive techniques for capturing, analyzing, and documenting network protocols for security re 31.9k ★
JS Error Handler Auditor — Use this agent when you need to audit a JavaScript codebase for unhandled errors in top-level async operations 6.1k ★
JS Analyzer — JavaScript static analysis agent for client-side security review 812 ★