VeryMath

VeryMath/co-mathematician

Skill Claude CodeCodex

Use when creating, continuing, reviewing, or completing a durable coding-agent-driven mathematical research project.

VeryMath/co-mathematician

Agent Claude Code

Stress-test one Co-Mathematician workstream report for counterexamples, hidden assumptions, shortcuts, and premature claims.

VeryMath/co-mathematician

Agent Claude Code

Check one Co-Mathematician workstream report for provenance, citations, and source-to-claim alignment.

VeryMath/co-mathematician

Agent Claude Code

Run scoped computations, examples, counterexample searches, and reproducibility checks for one approved Co-Mathematician workstream.

VeryMath/co-mathematician

Agent Claude Code

Review one Co-Mathematician workstream report for logical correctness, proof gaps, assumptions, and dependency structure.

VeryMath/co-mathematician

Agent Claude Code

Explore proof routes, lemmas, reductions, examples, and proof gaps for one approved Co-Mathematician workstream.

VeryMath/co-mathematician

Agent Claude Code

Synthesize reviewer-approved Co-Mathematician workstream reports into a working-paper draft without adding new claims.

VeryMath/co-mathematician

Cursor rule Cursor

Co-Mathematician canonical role routing for Cursor Agent.

VeryMath/co-mathematician

Cursor rule Cursor

Coding-agent-driven AI Co-Mathematician workspace rules.

VeryMath/co-mathematician

Instructions file CodexOpenCode

Instructions for VeryMath/co-mathematician, covering agents.md, repository contract, hard rules, agent compatibility and adapter architecture.

VeryMath/co-mathematician

Instructions file

Instructions for VeryMath/co-mathematician, covering claude.md, repository contract, required flow, claude code operating notes and harness commands.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Route AI4Math mathematical writing and presentation tasks to the bundled skill packages.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when creating, revising, or auditing source-grounded mathematical Beamer slide decks from papers, notes, proofs, lectures, experiments, or existing LaTeX slides across pure mathematics, applied mathematics, computational mathematics, statistics, optimization, geometry, topology, algebra, number theory…

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when drafting, revising, or auditing source-grounded mathematical paper text, including abstracts, introductions, related work, theorem exposition, experiment narratives, revision plans, and response letters.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when auditing mathematical paper drafts for supported claims, missing citations, overclaims, proof status, experiment support, or source-to-text traceability.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when improving mathematical formulas, displayed derivations, theorem/proof environments, equation alignment, cases blocks, long displays, or formula-to-prose readability in paper drafts.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when checking LaTeX paper projects for compilation, latexmk logs, undefined references, citation issues, duplicate labels, macro/package hygiene, layout warnings, floats, arXiv, or venue compatibility.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when checking mathematical paper drafts for notation drift, variable reuse, undefined symbols, inconsistent domains, index conventions, or scalar/vector/matrix ambiguity.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when turning mathematical notes, theorem statements, proof sketches, experiments, or reading outputs into a paper skeleton, section plan, result dependency map, or contribution architecture before prose drafting.

VeryMath/AI4Math-Writing

Skill Claude CodeCodex

Use when checking mathematical paper results for assumptions, quantifiers, domains, dependency fit, edge cases, external theorem use, proof coverage, or theorem-to-claim consistency.

VeryMath/AI4Math-Optimization

Skill Claude CodeCodex

Route AI4Math optimization tasks to the appropriate bundled skill package.

VeryMath/AI4Math-Optimization

Skill Claude CodeCodex

Use when Codex needs to solve, reproduce, test, compare, generate examples for, or diagnose CDOpt manifold optimization workflows, including CDOpt package smoke tests, official problem description cards, Stiefel dictionary learning, SciPy wrappers, PyTorch/JAX/NumPy CDOpt examples, dependency checks, tiny CPU…

VeryMath/AI4Math-Optimization

Skill Claude CodeCodex

Models and solves linear programs (LP) with Cardinal Optimizer (coptpy). Restates natural-language word problems into LP before building and solving. Use when the user mentions COPT/coptpy, linear programming, LP, word problems, applications, story problems, natural-language descriptions, 应用题, 线性规划文字题, or matrix-form…

VeryMath/AI4Math-Optimization

Skill Claude CodeCodex

Models and solves linear programs (LP) with multiple solvers (COPT, Gurobi, MOSEK, CPLEX, HiGHS (scipy/highspy), CLARABEL, PuLP/CBC, CVXOPT, OR-Tools/GLOP, GLPK, SoPlex, lpsolve, ECOS). Restates natural-language word problems into LP before building and solving. When no local solver is available, searches GitHub for…