Add PaperClaw — Agent Skill for Autonomous Scientific Paper Generation (IMRaD + Lean 4)

[Agnuxo1]

PaperClaw — Agent Skill for Autonomous Scientific Paper Generation

Hi! I'd like to propose adding PaperClaw to your curated collection of scientific agent skills.

What it is:
PaperClaw is a specialized agent skill for autonomous scientific paper generation. It produces IMRaD-structured papers (Introduction, Methods, Results, Analysis, Discussion) with verified BibTeX citations and optional Lean 4 theorem blocks. It runs as a VS Code extension and as a standalone CLI tool, integrating with the OpenClaw agent ecosystem.

Why it fits:
Your "Academic Writing" and "Specialized Domain Tools" sections list claude-scientific-writer and AcademicForge. PaperClaw is a local-first, open-source alternative that runs entirely offline, produces LaTeX-ready output, and integrates with formal verification (Lean 4) — a unique combination in the scientific writing skill landscape.

Links:

• GitHub: https://github.com/Agnuxo1/PaperClaw
• VS Code Marketplace: https://marketplace.visualstudio.com/search?term=agnuxo1
• Paper: https://www.researchgate.net/publication/403659551

Key capabilities:

• IMRaD paper generation from research prompts
• Verified BibTeX citation database
• Lean 4 theorem block support
• Export to LaTeX, Markdown, PDF
• Local LLM support (CAJAL 4B/9B models)
• VS Code extension + CLI modes

Happy to provide a PR if preferred.

—
Francisco (Agnuxo1) / P2PCLAW

[MaX-We1l1]

Thanks for the detailed proposal — PaperClaw sounds like a really interesting addition, especially with its local-first, Lean 4 integration and offline capabilities.

Yes, we’d absolutely welcome a PR for this!