Analyze working changes
Compare saved working files with HEAD.
change-firewallAutonomous agents rewrite 20 files in 5 seconds and self-report success. Change Firewall provides deterministic, compiler-grounded verification of what the agent actually touched vs. what it claimed, maps downstream blast radius, and proves runtime crashes with zero guesswork.
Scenario: AI refactored return in user.ts (return user ➔ return { user })
Autonomous coding agents rewrite 20 files in seconds and grade their own homework. Change Firewall replaces blind trust and probabilistic LLM reviews with deterministic, compiler-grounded verification.
Elevates analysis beyond file-level imports into semantic behavioral boundaries.
REST, Fastify/Express routes, Next.js server actions, tRPC routers
Prisma schemas, Drizzle models, TypeORM entities, raw SQL migrations
Kafka/RabbitMQ pub-sub, Redis streams, EventEmitter hooks
JWT validators, session guards, RBAC middlewares, token verifiers
Direct test suites and indirect downstream integration specs
REST endpoints, Fastify/Express routes, Next.js server actions, and tRPC signatures.
Each example fills editable text in the playground terminal. Press Enter to run the installed CLI and read its actual output.
Compare saved working files with HEAD.
change-firewallAsk the installed CLI for its current flags.
change-firewall analyze --helpPrint the real JSON result.
change-firewall analyze --jsonLimit collection to the Git index.
change-firewall analyze --stagedUseful after the current edits are committed.
change-firewall analyze --base playground-baseline The installed command’s --help remains the source of truth. The guide never supplies replacement terminal output.
The lightweight preview loads immediately. Start a live disposable runtime when you are ready; if it is unavailable, the terminal says so and never invents results.
When autonomous agents rewrite entire codebases in seconds, probabilistic LLM reviews fail. You need deterministic, compiler-level enforcement before anything merges.
Traces backward-slice data flows from widened return types to consumer call sites. Mathematically proves unhandled TypeErrors and null dereferences at exact line numbers with zero false alarms.
Simulates real Node.js runtime exceptions in the dashboard with active stack traces, visual call ladder progression, step-by-step symbolic proofs, and 1-click preventative fixes.
Converts detected behavioral shifts and arity breaks into surgical, zero-hallucination prompts tailored for Cursor, Claude Code, Antigravity, and Copilot with Safe Fix, Minimal, and PR modes.
Evaluates every commit across 11 orthogonal vectors: API contracts, auth guards, nullability widening, database queries, event hooks, state stores, and error semantics for complete coverage.
Zero-config local store in .firewall/memory/ that tracks contract invariant history over time. Flags unexpected mutations on functions that have been historically stable for 100+ commits.
Performs bidirectional semantic grounding on stated prompts vs AST diffs. Accurately verifies feature scope, detects missing parameter defaults (= null), and rejects unrelated claims.
Models the system beyond file imports into semantic API, Database, Event, Auth, and Test boundaries. Traces multi-hop critical paths and downstream consumer blast radius up to 3 hops deep.
Enforces deterministic preflight verification in GitHub Actions and Husky pre-commit hooks. Strictly exits with Code 0 (Safe to merge) or Code 1 (Blocked review required).
Configure once. Claude Code, Cursor, Google Antigravity, and Windsurf query Change Firewall natively via MCP before presenting code to you — catching breaking mutations autonomously in their own feedback loop.
~/Library/Application Support/Claude/claude_desktop_config.json
Get notified when new superpowers launch: Automated AI Self-Healing Patches (--fix), Python/Go AST engines, and GitHub PR review bots.