Skill Claude CodeCodex needs its repo
Use when reviewing an algorithm idea for assumptions, invariants, complexity, failure modes, and baseline comparisons.
not rated 2 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when turning an algorithm idea into pseudocode, runnable code, and a quick feasibility experiment with reproducible artifacts.
not rated 2 1mo ago A 30 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when stress-testing an algorithm or proof idea on tiny examples before committing to a full implementation or experiment.
not rated 2 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when deciding whether a domain workflow should pause for approval or continue unattended.
not rated 2 1mo ago A 21 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when entering an unfamiliar research or code workspace and needing a fast map of folders, artifacts, and ownership boundaries.
not rated 2 1mo ago A 26 tokens
original MIT
auto-tuning
06Skill Claude CodeCodex needs its repo
Use when searching hyperparameters with a real Optuna-backed helper script and reproducible output history.
not rated 2 1mo ago A 22 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when defining hypotheses, baselines, metrics, ablations, and evaluation protocols for an experiment plan.
not rated 2 1mo ago A 23 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when running algorithm or experiment commands that need reproducible logs, workspace bootstrap, and long-run script generation.
not rated 2 1mo ago A 25 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when producing paper-grade figures or image-based plot review with concrete helper scripts.
not rated 2 1mo ago A 20 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when checking that the abstract matches the introduction, method, experiments, and actual evidence in the paper.
not rated 2 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when drafting introductions or abstracts that need explicit markers for unsupported claims, missing evidence, or scope drift.
not rated 2 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when framing an introduction around motivation, gap, approach, contributions, and reader expectations.
not rated 2 1mo ago A 22 tokens
original MIT
Skill Codex needs its repo
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…
not rated 2 1mo ago C 76 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when building LaTeX papers, triaging compiler failures, or iterating on references, figures, and generated sections.
not rated 2 1mo ago A 30 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when converting experiment or analysis outputs into LaTeX-ready tables, figures, and result narratives.
not rated 2 1mo ago A 23 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when folding proofs, experiments, surveys, or writing progress back into a shared draft or status report.
not rated 2 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when algorithm or experiment work needs typed inspection of CSV, JSON, JSONL, PDF, image, or text artifacts.
not rated 2 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when compiling a single chapter in isolation or checking chapter-local LaTeX regressions before handoff.
not rated 2 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when a chapter owner must turn assigned assets into publication-ready LaTeX without drifting beyond the assigned file.
not rated 2 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when verifying that assigned assets or full-paper assets were actually consumed by the manuscript output.
not rated 2 1mo ago A 23 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when judging whether a paper draft is complete enough to hand off, submit, or move into final polishing.
not rated 2 1mo ago A 26 tokens
original MIT
csiam
22Skill Claude CodeCodex needs its repo
Use when the manuscript targets CSIAM-AM and must follow its template, structure, citation, and proof-preservation rules.
not rated 2 1mo ago A 27 tokens
original MIT
Skill Claude CodeCodex needs its repo
A Chinese-language knowledge-card search procedure for finding mathematical proof techniques and planning methods before starting a proof.
not rated 2 1mo ago A 39 tokens
original MIT
Skill Claude CodeCodex needs its repo
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.
not rated 2 1mo 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: