Skill Claude CodeCodex
This skill covers extracting all standalone (display-mode) LaTeX formulas from a research paper PDF, formatting them as $$ ... $$ blocks, detecting syntax errors (bracket mismatches, typos), and writing corrected versions. The output is a markdown file with one formula per line.
Skill Claude CodeCodex
This skill covers proving bounds on recursively-defined sequences in Lean 4, using the pattern of.
Skill Claude CodeCodex
Manufacturing test centers produce free-form defect reason texts written by engineers under time pressure. These texts contain typos, abbreviations, Chinese-English mixtures, slang, and non-standard punctuation. The task is to map each raw reason text to one or more standardized codes from product-specific codebooks…
Skill Claude CodeCodex
Reflow soldering passes PCBs through a multi-zone oven. The thermal profile has four phases.
Skill Claude CodeCodex
This skill covers the end-to-end workflow for optimizing DBSCAN clustering of noisy citizen-science annotations against expert ground truth. The goal is to find the Pareto frontier of hyperparameter configurations that trade off between two objectives.
Skill Claude CodeCodex
This skill covers the end-to-end process of filling a .docx Word template that contains {{PLACEHOLDER}} markers with values from a JSON data file. The core challenges are.
Skill Claude CodeCodex
This skill covers the end-to-end process of anonymizing academic papers in PDF format for double-blind review. The task involves identifying and redacting author names, institutional affiliations, email addresses, arXiv identifiers, venue/conference headers, DOIs, acknowledgment sections with named individuals, and…
Skill Claude CodeCodex
This skill covers how to take a single-threaded TF-IDF search engine and parallelize both its index building and batch search phases using multiprocessing.Pool. The key challenges are.
Skill Claude CodeCodex
Solve Travelling Purchase Problem (TPP) tasks expressed in PDDL by parsing domain/problem files, invoking a planner, and producing output in the exact format expected by the verifier.
Skill Claude CodeCodex
Extract tabular data from a multi-page PDF backup, compare it against a current Excel spreadsheet, and produce a structured JSON diff report listing deleted rows and field-level modifications. Generalises to any "old PDF vs. current Excel" reconciliation task.
Skill Claude CodeCodex
This skill covers computing Dots coefficients for International Powerlifting Federation (IPF) competition data stored in .xlsx workbooks. The task pattern is.
Skill Claude CodeCodex
Detect "dangling" paper titles in a PowerPoint presentation, restyle them (font, size, color, bold), resize/reposition their text boxes, and generate a final Reference slide with deduplicated, auto-numbered titles.
Skill Claude CodeCodex
This skill covers a common bioinformatics task pattern: given an Excel workbook with a large proteomics dataset on one sheet and a structured task template on another, perform two-way lookups to extract expression values, compute group statistics (mean, stdev), and calculate fold changes — all while preserving the…
Skill Claude CodeCodex
This skill covers the systematic translation of Python code into idiomatic Scala 2.13. The goal is NOT a word-for-word transliteration — it is a faithful reimplementation that preserves semantics while embracing Scala's type system, immutability, pattern matching, and functional programming conventions. A proficient…
Skill Claude CodeCodex
This skill covers designing a discrete-time LQR/MPC controller for a multi-section Roll-to-Roll (R2R) web handling system. The plant has N sections (typically 6), each with a web tension state Ti and a roller velocity state vi, giving a 12-dimensional state vector x = [T1..T6, v1..v6] and 6 control inputs u = [u1..u6]…
Skill Claude CodeCodex
Diagnose and fix slow catalog, cart, compare-page, and API-route performance issues in Next.js by targeting upstream fetch patterns, non-blocking side effects, bundle size, and unnecessary rerenders without breaking required test hooks or instrumentation.
Skill Claude CodeCodex
This skill covers the end-to-end workflow of.
Skill Claude CodeCodex
Perform a security audit on a package-lock.json file to identify HIGH and CRITICAL severity vulnerabilities, then write structured results to a CSV file.
Skill Claude CodeCodex
The migration environment typically provides SDKMAN for Java version management.
Skill Claude CodeCodex
Syzkaller is a coverage-guided kernel fuzzer. To fuzz a device driver, you must describe its syscall interface in syzlang — syzkaller's domain-specific language. This skill covers the full workflow: reading kernel headers, computing ioctl numbers, writing .txt (syzlang) and .txt.const (constants) files, and verifying…
Skill Claude CodeCodex
Convert a Three.js scene defined in a .js file into a Blender-compatible .obj file, running entirely in headless Node.js (no browser, no GPU).
Skill Claude CodeCodex
This skill covers the full pipeline for identifying anomalous product category spending patterns during a treatment window (e.g., March 2020 / COVID onset) and determining which demographic factors causally explain those anomalies using Difference-in-Differences (DiD) analysis. The pipeline has five stages.
Skill Claude CodeCodex
This skill covers solving PDDL planning problems from the IPC Airport domain (and similar domains) using the unifiedplanning Python library with the pyperplan backend. The agent must.
Skill Claude CodeCodex
This skill covers tasks where you must populate an existing Excel workbook with lookup formulas, derived calculations, and weighted aggregations — all without altering formatting, adding macros, or restructuring sheets. The typical pattern involves.