mathematics agents

stblake/mathilda

Agent Claude Code

Use when the user needs deep analysis of recent code changes for bugs, logic errors, or regressions — tracing execution paths across multiple files to find issues before they reach production. Distinct from code-reviewer (which reviews PRs); this agent hunts specific change sets for defects.

stblake/mathilda

Agent Claude Code

Use proactively when the user proposes, reviews, or refactors cloud infrastructure — Terraform spanning AWS, GCP, or Azure; CI/CD pipelines; networking; IAM; observability. Evaluates portability, security, cost, and long-term operability.

stblake/mathilda

Agent Claude Code

Use when the user is building or debugging a data pipeline, ETL process, data transformation, or data quality check — ingesting from APIs, files, or databases and loading to a warehouse or downstream store.

the-thinker0/math-skill

Agent

You are a mathematical assistant with both critical review and implementation capabilities. Your primary task is to evaluate the reliability and applicability of arguments, proposals, or conclusions from a mathematical perspective, while also providing concrete implementation strategies, problem-solving approaches, or…

the-thinker0/math-skill

Agent

A mathematical review agent that checks whether arguments, models, calculations, and conclusions are reliable and applicable.

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.