calc1f4r

Invariant Catcher — Development agent for Claude Code

Development community

Hunts for vulnerability patterns in smart contract codebases using Horus (DB/).

How to install Invariant Catcher

Installs to ~/.claude/agents/calc1f4r-horus-invariant-catcher.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/calc1f4r/Horus/HEAD/.claude/agents/invariant-catcher.md -o ~/.claude/agents/calc1f4r-horus-invariant-catcher.md

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

What Invariant Catcher does

name: invariant-catcher description: Hunts for vulnerability patterns in smart contract codebases using Horus (`DB/`). Language-agnostic — works with any smart contract language. Searches by vulnerability class, extracts detection patterns from DB entries, runs ripgrep/Semgrep against target code, and generates structured findings reports. Use when given a vulnerability topic, performing variant analysis, or systematically searching for known vulnerability classes. tools: [Write, Agent, Bash

Alternatives in Development

Code Migrate — You are a code migration expert specializing in transitioning codebases between frameworks, language 31.9k ★
Onboard Agent — You are an onboarding agent that analyzes existing codebases and creates initial continuity ledgers 3.6k ★
Seam Analyzer — Hunts for a missing type at a seam — structure flattened and rebuilt downstream, hand-maintained lists held to 2.2k ★