Skill Claude CodeCodex
Use when reviewing an algorithm idea for assumptions, invariants, complexity, failure modes, and baseline comparisons.
2 6d ago A 24 tokens
original MIT
2Stars on the repository
52Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Skill Claude CodeCodex
Use when turning an algorithm idea into pseudocode, runnable code, and a quick feasibility experiment with reproducible artifacts.
2 6d ago A 30 tokens
original MIT
Skill Claude CodeCodex
Use when stress-testing an algorithm or proof idea on tiny examples before committing to a full implementation or experiment.
2 6d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when deciding whether a domain workflow should pause for approval or continue unattended.
2 6d ago A 21 tokens
original MIT
Skill Claude CodeCodex
Use when entering an unfamiliar research or code workspace and needing a fast map of folders, artifacts, and ownership boundaries.
2 6d ago A 26 tokens
original MIT
auto-tuning
06Skill Claude CodeCodex
Use when searching hyperparameters with a real Optuna-backed helper script and reproducible output history.
2 6d ago A 22 tokens
original MIT
Skill Claude CodeCodex
Use when defining hypotheses, baselines, metrics, ablations, and evaluation protocols for an experiment plan.
2 6d ago A 23 tokens
original MIT
Skill Claude CodeCodex
Use when running algorithm or experiment commands that need reproducible logs, workspace bootstrap, and long-run script generation.
2 6d ago A 25 tokens
original MIT
Skill Claude CodeCodex
Use when producing paper-grade figures or image-based plot review with concrete helper scripts.
2 6d ago A 20 tokens
original MIT
Skill Claude CodeCodex
Use when checking that the abstract matches the introduction, method, experiments, and actual evidence in the paper.
2 6d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when drafting introductions or abstracts that need explicit markers for unsupported claims, missing evidence, or scope drift.
2 6d ago A 28 tokens
original MIT
Skill Claude CodeCodex
Use when framing an introduction around motivation, gap, approach, contributions, and reader expectations.
2 6d ago A 22 tokens
original MIT
Skill Claude CodeCodex
Resolve missing or incomplete Introduction bibliography entries from organized citation claims, paper titles, arXiv IDs, or DOIs. Use when survey/references.bib lacks keys needed by the Intro claim ledger, when an Introduction needs an explicitly requested paper, or when ReaScholar and Semantic Scholar metadata must…
2 6d ago C 76 tokens
original MIT
Skill Claude CodeCodex
Use when building LaTeX papers, triaging compiler failures, or iterating on references, figures, and generated sections.
2 6d ago A 30 tokens
original MIT
Skill Claude CodeCodex
Use when converting experiment or analysis outputs into LaTeX-ready tables, figures, and result narratives.
2 6d ago A 23 tokens
original MIT
Skill Claude CodeCodex
Use when folding proofs, experiments, surveys, or writing progress back into a shared draft or status report.
2 6d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when algorithm or experiment work needs typed inspection of CSV, JSON, JSONL, PDF, image, or text artifacts.
2 6d ago A 28 tokens
original MIT
Skill Claude CodeCodex
Use when compiling a single chapter in isolation or checking chapter-local LaTeX regressions before handoff.
2 6d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when a chapter owner must turn assigned assets into publication-ready LaTeX without drifting beyond the assigned file.
2 6d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when verifying that assigned assets or full-paper assets were actually consumed by the manuscript output.
2 6d ago A 23 tokens
original MIT
Skill Claude CodeCodex
Use when judging whether a paper draft is complete enough to hand off, submit, or move into final polishing.
2 6d ago A 26 tokens
original MIT
csiam
22Skill Claude CodeCodex
Use when the manuscript targets CSIAM-AM and must follow its template, structure, citation, and proof-preservation rules.
2 6d ago A 27 tokens
original MIT
Skill Claude CodeCodex
A Chinese-language knowledge-card search procedure for finding mathematical proof techniques and planning methods before starting a proof.
2 6d ago A 39 tokens
original MIT
Skill Claude CodeCodex
Full workflow for systematically proving and verifying mathematical lemmas via prover/verifier sub-agent tasks. Read this before dispatching any lemma-prover or lemma-verifier task.
2 6d ago A 39 tokens
original MIT
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: