papercheck

A reproducible audit harness for mathematical LaTeX papers: deterministic scanner, schema-validated issue ledgers with mechanical quote verification, and a stage-gated final gate — driven by any MCP agent or the CLI.

0 stars PythonOthers Updated Jul 3, 2026

ai-agentsarxivclilatexllmmathematicsmcpmodel-context-protocolpaper-reviewpeer-reviewproof-checkingpythonreproducibilityresearch-software

No README could be loaded. View the project on GitHub for full documentation.

Frequently asked questions

What is papercheck?

papercheck is A reproducible audit harness for mathematical LaTeX papers: deterministic scanner, schema-validated issue ledgers with mechanical quote verification, and a stage-gated final gate — driven by any MCP agent or the CLI.

How do I install papercheck?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is papercheck open source?

Yes — it is hosted on GitHub at https://github.com/cgarryZA/papercheck.

Related MCP tools

OpenOSINT

AI-powered OSINT agent with interactive REPL, MCP server, and CLI. 19 tools. Works with Claude, GPT-4, or local models. For authorized security research only.

1,523 Python

ai-agentanthropicclaude+16

projectmem

Open-source coding agent memory. Records issues, attempts, fixes and decisions, then warns your agent before it repeats an approach that already failed. Native MCP server for Claude Code, Cursor, Antigravity and Codex. 100% local, no cloud, no telemetry. MIT.

796 Python

ai-agentsai-memoryai-tools+17

mcp-agent

Build effective agents using Model Context Protocol and simple workflow patterns Python-based implementation. Trusted by 7600+ developers.

7,669 Python

agentsaiai-agents+5

mcp-context-forge

An AI Gateway, registry, and proxy that sits in front of any MCP, A2A, or REST/gRPC APIs, exposing a unified endpoint with centralized discovery, guardrails and management. Optimizes Agent & Tool calling, and supports plugins.

4,422 Python

agentsaiapi-gateway+17

jcodemunch-mcp

Cut AI token costs 95%+ on code exploration. The leading MCP server for precise, symbol-level GitHub code retrieval via tree-sitter AST. Works with Claude Code, Cursor & any MCP client. 313B+ tokens saved.

2,651 Python

claudeclaude-codeai-coding+17

paperbanana

Open source implementation and extension of Google Research’s PaperBanana for automated academic figures, diagrams, and research visuals, expanded to new domains like slide generation.

2,302 Python

academic-researcharxivgemini+17

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP