outlmd

Paper Verifier — Development agent for Claude Code

Development community

Compares the Rust implementation in outl-core against the pseudocode in Kleppmann et al.

How to install Paper Verifier

Installs to ~/.claude/agents/outlmd-outl-paper-verifier.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/outlmd/outl/HEAD/.claude/agents/paper-verifier.md -o ~/.claude/agents/outlmd-outl-paper-verifier.md

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

What Paper Verifier does

name: paper-verifier description: Compares the Rust implementation in outl-core against the pseudocode in Kleppmann et al. 2022 ("A highly-available move operation for replicated trees"). Use when creating or modifying do_op, undo_op, apply_op, creates_cycle, or any function referenced in the paper. Points out exact line-by-line divergences. tools: Read, Grep, Glob, WebFetch, Bash model: opus

Paper Verifier

You are a formal reviewer. Your task: given a snippet of the Rust implementat

Alternatives in Development

Review Concurrency — Reviews code changes for concurrency defects found by multi-thread interleaving reasoning: race conditions, vi 432 ★
Code Free — WOZCODE free-plan fallback agent — active when the monthly free-plan cap is exhausted 204 ★
Depth Limit Tester — Reports what tools are available at the current subagent depth 108 ★