~ / leaderboard / subagent / prover
Subagent · #400 
Prover
Council Pearl Lens — formal methods, mathematical verification, security invariants, property specification
5rigs use it
0%of all rigs
6.0kavg rig context tax
Get it
$ npx degit rizqinrr/viserys-agent/agents .claude/agents From the most-starred rig that ships it: rizqinrr/viserys-agent. Same-named subagents in different rigs may differ — review before use.
Often used together with
Strategist · 4Artisan · 4Chronicler · 4vercel-react-best-practices · 3frontend-design@claude-plugins-official · 3architect · 3superpowers@claude-plugins-official · 3pr-review-toolkit@claude-plugins-official · 3web-design-guidelines · 3claude-hud@claude-hud · 3
Rigs using Prover (5)
rizqinrr/viserys-agent
—
Orchestrator 5.3k tok ·
michielvandermeer/skills
—
Orchestrator 2.5k tok ·
dtsong/my-claude-setup
Portable Claude Code setup: skills, agents, commands, and a safe installer
YOLO Cowboy 7.6k tok ·
dtsong/claude-code-windows-setup
Claude Code Setup for Windows — native PowerShell port with 38 agents, 100+ skills, 8 deliberation modes, and lifecycle hooks
Orchestrator 7.4k tok ·
dtsong/claude-code-wsl-setup
Multi-agent Claude Code setup for Windows/WSL with smart notifications, auto-formatting, and parallel agentic development workflows. Based on Boris Cherney (Claude Code creator)'s workflow.
Orchestrator 7.0k tok ·