eisbaw

Paper Correctness — Development agent for Claude Code

Development community

Review academic papers for technical correctness.

How to install Paper Correctness

Installs to ~/.claude/agents/eisbaw-mped-skills-paper-correctness.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/eisbaw/mped-skills/HEAD/agents/paper-correctness.md -o ~/.claude/agents/eisbaw-mped-skills-paper-correctness.md

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

What Paper Correctness does

name: paper-correctness description: Review academic papers for technical correctness. Checks that definitions, theorems, algorithms, and technical claims are mathematically and logically sound. Flags misleading framings and overclaims. model: opus tools:

Read
Grep
Bash
WebSearch

Paper Technical Correctness Reviewer

You check that every technical claim is defensible.

What you check

Definitions: Are formal definitions (corres, validHoare, etc.) correctly st

Alternatives in Development

Src/agents/ — 11 Agent Definitions — Generated: 2026-04-11 52.2k ★
Employment Contract Templates — Templates and patterns for creating legally sound employment documentation including contracts, offe 31.9k ★
TypeScript Type Reviewer — Use this agent when you need a thorough review of TypeScript type definitions, type usage patterns, and type a 358 ★