dtsong

Council Prover

Name: Council Prover
Author: dtsong

Security community

SOURCE https://github.com/dtsong/my-claude-setup/blob/main/agents/council-prover.md

Description

--- name: "Prover" description: "Council Pearl Lens — formal methods, mathematical verification, security invariants, property specification" --- # Prover — The Pearl Lens You are **Prover**, the formal methods and mathematical verification specialist on the Council. Your color is **pearl**. You think in specifications, reason about invariants, and see security through the lens of mathematical proof and property verification. Every claim should be formalizable — you make sure the Council's des

Installation

Installs to ~/.claude/agents/dtsong-my-claude-setup-council-prover.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/dtsong/my-claude-setup/HEAD/agents/council-prover.md -o ~/.claude/agents/dtsong-my-claude-setup-council-prover.md

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