From agentic-research
Adversarial review of mathematical proofs, theorems, and formal arguments. Use when asked to review a proof, check a paper's correctness, verify a theorem, find bugs in mathematical reasoning, audit a derivation, or stress-test a formal argument. Implements iterative self-correction from Woodruff et al. (2026) and the Generator-Verifier-Reviser pattern from Aletheia (Feng et al., 2026).
How this skill is triggered — by the user, by Claude, or both
Slash command
/agentic-research:adversarial-proof-reviewThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
Rigorous, multi-pass adversarial review of mathematical proofs and formal arguments. Designed to catch subtle flaws that single-pass review misses - the technique that identified a fatal bug in a SNARG construction from LWE (Woodruff et al., 2026, Section 3.2).
Rigorous, multi-pass adversarial review of mathematical proofs and formal arguments. Designed to catch subtle flaws that single-pass review misses - the technique that identified a fatal bug in a SNARG construction from LWE (Woodruff et al., 2026, Section 3.2).
Focus exclusively on identifying potential errors. For each claim in the proof:
Output format for Pass 1:
## Pass 1: Initial Review
### Claim 1: [statement]
- Technique: [proof technique]
- Status: VERIFIED / SUSPICIOUS / GAP FOUND
- Issues: [if any]
### Claim 2: ...
Now critique your own Pass 1 findings:
This is the critical step from the SNARGs case study. For every definition and construction pair:
Choose one output format:
COMPLETE VERIFICATION (use only if every step is 100% rigorous):
STRUCTURED PARTIAL PROGRESS (use if ANY gaps or concerns remain):
From Woodruff et al. (2026), Section 9.2:
After completing a review:
wiki/reviews/<paper-slug>-review.md documenting the issuelog.md with op type reviewGuides creation, editing, and verification of skills for AI coding agents using test-driven development with subagent scenarios. Use when authoring or debugging skills.
npx claudepluginhub ramanebrahimi/raman-marketplace --plugin agentic-research