mathematics skills

yorkeccak/scientific-skills

Skill Claude CodeCodex

Search arXiv physics, math, and computer science preprints using natural language queries. Powered by Valyu semantic search.

Wholiver/Math.Skill

Skill Claude CodeCodex

A comprehensive mathematical reasoning skill for AI assistants — handles arithmetic to research-level problems with rigorous step-by-step reasoning, systematic verification, and transparent uncertainty handling.

stblake/mathilda

Skill Claude CodeCodex

Use when the user asks to integrate a third-party REST or GraphQL API — fetching data, authenticating, handling rate limits, retrying on failure, and wiring responses into the application.

stblake/mathilda

Skill Claude CodeCodex

Use when the user asks to build, integrate, or improve an AI/LLM feature — calling Claude, GPT, or another model API; adding prompt templates; structured output extraction; tool use; streaming; or evaluating model outputs.

stblake/mathilda

Skill Claude CodeCodex

Use when the user asks to add logging, metrics, tracing, health checks, or alerting to a service — or when a service lacks visibility into what it's doing in production.

the-thinker0/math-skill

Skill Claude CodeCodex

A routing guide for mathematical analysis in AI research and cryptography. It helps an agent choose the relevant mathematical ideas and checks for a problem.

the-thinker0/math-skill

Skill Claude CodeCodex

A routing guide for mathematical work in AI and cryptography. It helps choose the right concepts and checks for architecture design, theory, mathematical transfers, definitions, constructions, proofs of security, and protocol reviews.

VeryMath/co-mathematician

Skill Claude CodeCodex

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

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 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-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 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…

VeryMath/AI4Math-Optimization

Skill Claude CodeCodex

Unified solver detection, installation, selection, and license configuration for OR optimization skills (LP, MIP, SOCP). One-stop solver management: detect installed packages, install missing solvers with proper priority, select the best available solver by problem type, and troubleshoot common errors. Covers 20…

demath-ai/DeMath

Skill Claude CodeCodex

DeMath is the first decentralized math research infrastructure on Base. The biggest mission in math history is wide open — the Riemann hypothesis and a curated set of open Erdős problems that mathematicians have worked on for decades. DeMath is the coordination layer for putting frontier AI compute on all of them, in…

tetracoralla/math-anchor

Skill Claude CodeCodex

Use Math Anchor for reliability-sensitive mathematics. MUST load and use it for fixed-width wrapping/saturating arithmetic, bit operations and fields, IEEE-754 representation, and large exact combinatorial counts; never answer those from mental arithmetic. Also use it for exact or high-precision evaluation, explicit…