Skill Claude CodeCodex
A workflow for checking and repairing mathematical proofs written in LaTeX, the document system widely used for technical papers.
not rated 161
+3 1mo ago A 85 tokens
161Stars on the repository
31Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Skill Claude CodeCodex
A research-formula drafting aid for turning assumptions and scattered equations into a connected mathematical derivation for a paper.
not rated 161
+3 1mo ago A 86 tokens
proof-writer
27Skill Claude CodeCodex
A tool for writing rigorous mathematical proofs in machine learning and artificial intelligence theory.
not rated 161
+3 1mo ago A 73 tokens
Skill Claude CodeCodex
Workflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up rounds. Use when user says "rebuttal", "reply to reviewers", "ICML rebuttal", "OpenReview response", or wants to answer external reviews safely.
not rated 161
+3 1mo ago A 75 tokens
Skill Claude CodeCodex
Review and improve a formal academic rebuttal letter draft for peer review responses.
not rated 161
+3 1mo ago A 20 tokens
Skill Claude CodeCodex
Write a formal academic rebuttal letter from rebuttal strategy notes and reviewer comments.
not rated 161
+3 1mo ago A 22 tokens
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: