{"name":"binarybison-proofreader","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"binarybison-proofreader","source":{"source":"github","repo":"binarybison/proofreader"},"description":"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.","version":"0.1.0","strict":true,"keywords":["real-time-systems","scheduling","proofreading","academic-writing","proof-audit"],"category":"testing"}]}