← ClaudeAtlas

verifylisted

Paper-vs-code consistency audit. After research:scientist implements a method from a paper, verify the implementation matches paper claims across five dimensions — formula matching [F], hyperparameter parity [H], eval protocol [E], notation consistency [N], and citation chain [C]. Reads paper (PDF path / arXiv URL / pasted text), maps claims to codebase, emits verification table with match status and severity.
Borda/AI-Rig · ★ 17 · AI & Automation · score 76
Install: claude install-skill Borda/AI-Rig
<objective> Paper-vs-code consistency audit. After `research:scientist` implements method from paper, verify implementation matches paper claims. Audits five dimensions — formula matching, hyperparameter parity, eval protocol, notation consistency, citation chain. Emits verification table with match status and severity. NOT for: running experiments (use `/research:run`); judging experimental methodology (use `/research:judge`); literature search (use `/research:topic`); general code review (use `/develop:review` (requires `develop` plugin)). Verify audits implementation-vs-paper fidelity only — does not evaluate whether paper's claims are valid. </objective> <constants> HARD_CUTOFF: 900 # 15 min — ADVISORY ONLY, not enforced. # Synchronous Agent() has no escape — the parent cannot interrupt mid-flight call. # If the agent exceeds the expected ~15 min budget, the parent must handle the timeout in the NEXT turn # (e.g., user re-invokes, or orchestrator surfaces partial results from $RUN_DIR/audit-raw.md after Agent returns). # Same limitation as research:topic — documented, not bypassable from within the skill. </constants> <workflow> ## Agent Resolution `research:scientist` in same plugin as this skill — no fallback needed if research plugin installed. Scientist handles all five audit dimensions in single spawn to preserve cross-dimension context (e.g., notation inconsistency explaining formula mismatch requires holistic paper understanding). ## Verify Mode (Steps