Skip to content

Releases: cgarryZA/papercheck

papercheck v0.3.4

Choose a tag to compare

@cgarryZA cgarryZA released this 03 Jul 08:33

Adds an inline suppression pragma for deliberate draft markers (field-report item P5.12).

A line carrying % papercheck: ignore (or % papercheck: ignore draft-marker) silences findings on that line and the line below — useful for a ??/TODO that can't reach the PDF, e.g. an unreachable \IfFileExists fallback. Suppressed markers are recorded under structure.suppressed_draft_markers (not dropped silently) and no longer count toward the gate. See the changelog.

papercheck v0.3.3

Choose a tag to compare

@cgarryZA cgarryZA released this 03 Jul 03:51

Unifies the state machine across the CLI and the MCP server (field-report item P4.7). papercheck scan and papercheck segments now advance the shared, persisted audit state (auto-initializing if needed), so an agent can start at the CLI and switch to the MCP server without hand-advancing stages. Adds AuditState.ensure_at_least for idempotent forward advances. See the changelog.

papercheck v0.3.2

Choose a tag to compare

@cgarryZA cgarryZA released this 02 Jul 21:04

Fixes from a full-pass field report driven against a real jump-FBSDE paper.

Gate integrity (important): the mechanical gate no longer returns READY while a credible, quote-verified FATAL/SERIOUS finding sits un-adjudicated in PROPOSED — such issues now block, with a warnings line. Also fixed a crash when recording inventory at/after the AUDITING stage.

Other: PyYAML is now a declared dependency (packs show works on a clean install); gate uses tri-state exit codes (0/2/1); segments prints a risk-ranked table; cleaner packs errors; manual-check resolver attribution. Full list in the changelog.

papercheck v0.3.1

Choose a tag to compare

@cgarryZA cgarryZA released this 02 Jul 19:42

Docs/metadata fixes so the PyPI page renders correctly:

  • README uses absolute URLs for the logo and doc links (relative paths broke the image on PyPI)
  • Fixed project.urls that pointed at a placeholder owner; added Issues and Changelog links

No functional changes to the harness. See the changelog.

papercheck v0.3.0

Choose a tag to compare

@cgarryZA cgarryZA released this 02 Jul 19:15

papercheck turns a mathematical LaTeX paper into a stage-gated adversarial audit that any MCP agent can drive but cannot skip.

Highlights

  • 🧩 LaTeX-AST scanner (pylatexenc) with graceful regex fallback
  • ✅ Mechanical quote verification — unverifiable findings are rejected before they enter the ledger
  • 🚦 Stage-gated state machine — no patch before adjudication, enforced in code
  • 🤖 FastMCP server, 29 tools — claude mcp add papercheck -- papercheck-mcp
  • 🌐 Interactive web UI — papercheck serve
  • 🧾 HTML report, version-compare, audit profiles, domain-pack generator
  • 140 passing tests; strictly MCP + CLI (no provider adapters, sends nothing over the network itself)

Install

```bash
pipx install papercheck # or: pip install papercheck
```

Full changelog in CHANGELOG.md.