Official release for SkillRevise: trace-conditioned revision of LLM-authored agent skills
Skill Claude CodeCodex
Convert PDF documents to Markdown using markersingle. Use when Claude needs to extract text content from PDFs while preserving LaTeX formulas, equations, and document structure. Ideal for academic papers and technical documents containing mathematical notation.
Skill Claude CodeCodex
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration.
Skill Claude CodeCodex
Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration.
Skill Claude CodeCodex
This skill should be considered when you need to normalize testing engineers' written defect reasons following the provided product codebooks. This skill will correct the typos, misused abbreviations, ambiguous descriptions, mixed Chinese-English text or misleading text and provide explanations. This skill will do…
Skill Claude CodeCodex
Deterministic handbook-grounded retrieval and thermocouple computations for reflow profile compliance outputs such as ramp, TAL, peak, feasibility, and selection.
Skill Claude CodeCodex
This skill should be considered when you need to answer reflow machine maintenance questions or provide detailed guidance based on thermocouple data, MES data or defect data and reflow technical handbooks. This skill covers how to obtain important concepts, calculations, definitions, thresholds, and others from the…
Skill Claude CodeCodex
This skill should be considered when you need to repair an infeasible or non-optimal flexible job scheduling planning schedule into a downtime-feasible, precedence-feasible one while keep no worse policy budget.
Skill Claude CodeCodex
Extract key frames (I-frames) from video files using FFmpeg command line tool. Use this skill when the user needs to pull out keyframes, thumbnails, or important frames from MP4, MKV, AVI, or other video formats for analysis, previews, or processing.
Skill Claude CodeCodex
Comprehensive command-line tools for modifying and manipulating images, such as resize, blur, crop, flip, and many more.
Skill Claude CodeCodex
Count occurrences of an object in the image using computer vision algorithm.
Skill Claude CodeCodex
Define custom distance/similarity metrics for clustering and ML algorithms. Use when working with DBSCAN, sklearn, or scipy distance functions with application-specific metrics.
Skill Claude CodeCodex
Parallel processing with joblib for grid search and batch computations. Use when speeding up computationally intensive tasks across multiple CPU cores.
Skill Claude CodeCodex
Multi-objective optimization with Pareto frontiers. Use when optimizing multiple conflicting objectives simultaneously, finding trade-off solutions, or computing Pareto-optimal points.
Skill Claude CodeCodex
Extract, normalize, mix, and process audio tracks - audio manipulation and analysis.
Skill Claude CodeCodex
Convert media files between formats - video containers, audio formats, and codec transcoding.
Skill Claude CodeCodex
Analyze media file properties - duration, resolution, bitrate, codecs, and stream information.
Skill Claude CodeCodex
Cut, trim, concatenate, and split video files - basic video editing operations.
Skill Claude CodeCodex
Apply video filters - scale, crop, watermark, speed, blur, and visual effects.
Skill Claude CodeCodex
Practical mastering steps for TTS audio: cleanup, loudness normalization, alignment, and delivery specs.
Skill Claude CodeCodex
Word document manipulation with python-docx - handling split placeholders, headers/footers, nested tables.
Skill Claude CodeCodex
Intelligently organizes your files and folders across your computer by understanding context, finding duplicates, suggesting better structures, and automating cleanup tasks. Reduces cognitive load and keeps your digital workspace tidy without manual effort.
Skill Claude CodeCodex
Redact text from PDF documents for blind review anonymization.
Skill Claude CodeCodex
Optimize Python code for reduced memory usage and improved memory efficiency. Use when asked to reduce memory footprint, fix memory leaks, optimize data structures for memory, handle large datasets efficiently, or diagnose memory issues. Covers object sizing, generator patterns, efficient data structures, and memory…
Skill Claude CodeCodex
Transform sequential Python code into parallel/concurrent implementations. Use when asked to parallelize Python code, improve code performance through concurrency, convert loops to parallel execution, or identify parallelization opportunities. Handles CPU-bound (multiprocessing), I/O-bound (asyncio, threading), and…
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: