Stats
Links
Categories
Marketplace
binarybison
Local marketplace exposing the proofreader plugin from this repo.
$
npx claudepluginhub binarybison/proofreader1 Plugin
proofreader
0·
Proofreader: an agentic LLM tool for pre-submission self-review of formal proof-based papers. Evaluate paper quality, audit proofs, hunt counterexamples agentically, stress-test findings via an independent defender/arbiter chain, and draft LaTeX or Markdown briefs for revision. Grounded in real-time systems but extensible via domain packs.
2w
binarybison