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

Ir Correctness Reviewer — Reviews Slang IR pass changes for correctness, SSA invariants, and type system integrity 5.6k ★
Example Curator — Use this agent when you need to evaluate CLAUDE.md examples for inclusion in the awesome-claude-md repository 570 ★
Theorist — Theoretical econometrician / mathematical statistician 250 ★