Skill Claude CodeCodex
Use when reviewing an algorithm idea for assumptions, invariants, complexity, failure modes, and baseline comparisons.
2 5d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when turning an algorithm idea into pseudocode, runnable code, and a quick feasibility experiment with reproducible artifacts.
2 5d 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 5d ago A 24 tokens
original MIT
Skill Claude CodeCodex
Use when deciding whether a domain workflow should pause for approval or continue unattended.
2 5d 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 5d 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 5d ago A 22 tokens
original MIT
Skill Claude CodeCodex
Use when defining hypotheses, baselines, metrics, ablations, and evaluation protocols for an experiment plan.
2 5d 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 5d 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 5d 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 5d 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 5d ago A 28 tokens
original MIT
Skill Claude CodeCodex
Use when framing an introduction around motivation, gap, approach, contributions, and reader expectations.
2 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d 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 5d ago A 39 tokens
original MIT