Council Prover — Security agent for Claude Code
Council Pearl Lens — formal methods, mathematical verification, security invariants, property specification.
How to install Council Prover
Installs to ~/.claude/agents/dtsong-my-claude-setup-council-prover.md
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.
What Council Prover does
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
Alternatives in Security
- Security Verifier — You write and execute PoC tests to PROVE bugs exist 215 ★
- Offensive Security Engineer — Red-team the verification engine 179 ★
- Spec Edge Case Auditor — Use this agent when you need to audit test coverage against a specification to identify missing edge cases 173 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Council Cipher
Council Obsidian Lens — cryptographic engineering, protocol security, key management, post-quantum readiness
Council Forge
Council Graphite Lens — microarchitecture, silicon design, RTL security, timing closure, physical implementati
Self Invariants Auditor
Read-only auditor for the Invariants lens of /self-audit — flags any place where a SKILL.md, a skills/_lib/ fi
Team Reviewer
Adversarial code review and verification. Operates with a single lens per invocation (security, correctness, p
Audit Skeptic
Tries to refute one skill-audit finding through one named verification lens and returns a verdict with its evi
Critic Security
Review code for OWASP-style security issues (injection, authn/authz, secrets, supply chain, LLM-specific) in p
Related Skills
Logic Reducer
Act as a Senior Formal Methods Architect and Perl SDET. Apply syllogistic logic, deductive reasoning, and bool
Sdd
Produce a formal specification through adversarial critique.
Cfn Spec
SPARC Specification phase. Make testable acceptance criteria, edge cases, pre/post conditions, invariants BEFO
