Skill Claude CodeCodex needs its repo
Use when checking a proof draft for hidden assumptions, notation drift, invalid steps, or missing edge-case coverage.
not rated 2 13d ago A 27 tokens
original MIT
2Stars on the repository
39Mods indexed here, across every type
13d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Skill Claude CodeCodex needs its repo
A workflow for downloading and processing academic papers from arXiv, a public repository for research preprints. It focuses on extracting mathematical material such as algorithms, lemmas, and theorems from LaTeX source files.
not rated 2 13d ago A 40 tokens
original MIT
arxiv
27Skill Claude Code needs its repo
Search, download, and summarize academic papers from arXiv. Use when user says "search arxiv", "download paper", "fetch arxiv", "arxiv search", "get paper pdf", or wants to find and save papers from arXiv to the local paper library.
not rated 2 13d ago A 61 tokens
copy · 78% MIT
Skill Claude CodeCodex needs its repo
Use when collecting datasets, checkpoints, figures, bibliographies, prompts, or templates needed for a paper workflow.
not rated 2 13d ago A 25 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when checking citation coverage, unsupported claims, bibliography consistency, or missing attribution in research writing.
not rated 2 13d ago A 23 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when checking that terminology, notation, claims, and promises stay consistent across multiple paper sections.
not rated 2 13d ago A 23 tokens
original MIT
Skill Claude CodeCodex needs its repo
Universal deep research agent team. 13-agent pipeline for rigorous academic research on any topic. 7 modes: full research, quick brief, paper review, lit-review, fact-check, Socratic guided research dialogue, and systematic review with optional meta-analysis. Covers research question formulation, Socratic mentoring…
not rated 2 13d ago A 225 tokens
copy · 94% MIT
Skill Claude CodeCodex needs its repo
Use when algorithm or experiment work needs to search workspace-local domain knowledge and generate new knowledge cards from arXiv papers.
not rated 2 13d ago A 29 tokens
original MIT
mathflow
33Skill Claude CodeCodex needs its repo
Use when mathematical research, modeling, derivation, simulation, validation, or report-writing needs staged guidance before proceeding.
not rated 2 13d ago A 26 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when coordinating a multi-stage paper workflow across survey, method, theorem, experiment, and writing agents.
not rated 2 13d ago A 26 tokens
original MIT
Skill Codex
Use when the user asks Codex to initialize, set up, convert, or bootstrap a folder/workspace/project as a reasflow project, or asks how an agent should install reasflow into the current directory. Also use after a just-completed reasflow initialization when the user asks for research, survey, algorithm, proof…
not rated 2 13d ago D 99 tokens
original MIT
Skill Claude CodeCodex needs its repo
Conventions for tools, skills, and project state in reasflow workspaces.
not rated 2 13d ago A 20 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when running the full AutoSurvey-backed outline, draft, related-works, or unattended survey pipeline.
not rated 2 13d ago A 25 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when building AutoSurvey-style paper pools and retrieval traces for survey writing.
not rated 2 13d ago A 21 tokens
original MIT
Skill Claude CodeCodex needs its repo
Use when producing survey and related-work LaTeX with synchronized references.bib.
not rated 2 13d ago A 23 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: