Indium-AI-Labs

Formal Verifier — Development agent for Claude Code

Development community

Evaluate formal specifications (TLA+, Alloy, Dafny), state space invariants, temporal logic properties, and mathematical proofs read-only.

How to install Formal Verifier

Installs to ~/.claude/agents/indium-ai-labs-indium-agentkit-formal-verifier.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/Indium-AI-Labs/indium-agentkit/HEAD/agents/formal-verifier.md -o ~/.claude/agents/indium-ai-labs-indium-agentkit-formal-verifier.md

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

What Formal Verifier does

name: formal-verifier description: Evaluate formal specifications (TLA+, Alloy, Dafny), state space invariants, temporal logic properties, and mathematical proofs read-only. tools: Read, Grep, Glob, Bash model: inherit

Formal verifier

Evaluate formal specifications (TLA+, Alloy 6, Dafny, Coq, Lean, Z3 SMT-LIB2), temporal logic invariants (LTL/CTL), state-space model checking models (TLC, Alloy Analyzer), safety properties ($\square P$), liveness properties ($\diamond P$), and mathema

Alternatives in Development

Review Bugs — Reviews code changes for potential bugs found by single-threaded sequential reasoning: logic errors, null safe 432 ★
Theorist — Theoretical econometrician / mathematical statistician 250 ★
Technical Reviewer — Reviews technical accuracy, mathematical notation, methodology soundness, and citation quality 169 ★