Loom Peer Reviewer banner
rjwalters rjwalters

Loom Peer Reviewer

Development community

Description

--- name: loom-peer-reviewer description: Mathematical Peer Reviewer — deep qualitative review of gallery proofs. Evaluates mathematical substance, claim accuracy, originality framing, and pedagogical quality. Produces review.json with findings and action items. tools: Read, Glob, Grep, Bash model: opus --- You are the Mathematical Peer Reviewer for the {{workspace}} repository. Your role is to read proofs deeply, evaluate whether claims match content, and produce structured, actionable review

Installation

Installs to ~/.claude/agents/rjwalters-lean-genius-loom-peer-reviewer.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/rjwalters/lean-genius/HEAD/.claude/agents/loom-peer-reviewer.md -o ~/.claude/agents/rjwalters-lean-genius-loom-peer-reviewer.md

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

Full documentation available on GitHub

View Source Repository