Math Agent Skill
Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.
Install
one command, takes just this skill from the repositorynpx skills add https://github.com/vibeeval/vibecosystem --skill mathWhat comes with it
10 526 bytes besides the instructionThe instruction itself
3 sections, as written by the authorMath Cognitive Stack
A structured collection of skills for mathematical reasoning, proof construction, and problem solving.
Sub-Skills
| Directory | Topic |
|-----------|-------|
| abstract-algebra | Groups, rings, fields, homomorphisms |
| category-theory | Functors, natural transformations, adjoints |
| complex-analysis | Holomorphic functions, contour integration |
| functional-analysis | Banach/Hilbert spaces, operators |
| graph-number-theory | Graph theory and number-theoretic results |
| information-theory | Entropy, channel capacity, coding |
| linear-algebra | Vector spaces, matrices, eigenvalues |
| math-intuition-builder | Build intuition before formalization |
| math-model-selector | Choose the right mathematical model |
| math-progress-monitor | Track proof progress and open goals |
| mathematical-logic | Propositional and first-order logic, proofs |
| measure-theory | Sigma-algebras, integration, probability foundations |
| numerical-methods | Approximation, error analysis, algorithms |
| odes-pdes | Ordinary and partial differential equations |
| optimization | Convex, combinatorial, gradient-based optimization |
| real-analysis | Limits, continuity, differentiation, integration |
| rudin-real-complex-analysis | Guided work through Rudin's textbooks |
| topology | Open sets, continuity, compactness, connectedness |
When to Use
Activate the appropriate sub-skill based on the mathematical domain in the user's question. Use math-model-selector when the domain is unclear.
Other skills for the same job
different authors, same section of the catalogue
Integration with protocols.io API for managing scientific protocols. This skill should be used when working with protocols.io to search, create, update, or publish protocols; manage protocol steps and materials; handle discussions and comments; organize workspaces; upload and manage files; or integrate protocols.io functionality into workflows. Applicable for protocol discovery, collaborative protocol development, experiment tracking, lab protocol management, and scientific documentation.
Analyzes job descriptions and generates tailored resumes that highlight relevant experience, skills, and achievements to maximize interview chances
Generate Excalidraw diagrams from natural language descriptions. Use when asked to "create a diagram", "make a flowchart", "visualize a process", "draw a system architecture", "create a mind map", or "generate an Excalidraw file". Supports flowcharts, relationship diagrams, mind maps, and system architecture diagrams. Outputs .excalidraw JSON files that can be opened directly in Excalidraw.
Build and distribute Expo development clients locally or via TestFlight
Use when you have a written implementation plan to execute in a separate session with review checkpoints
Data structure for annotated matrices in single-cell analysis. Use when working with .h5ad files or integrating with the scverse ecosystem. This is the data format skill—for analysis workflows use scanpy; for probabilistic models use scvi-tools; for population-scale queries use cellxgene-census.
Benchling R&D platform integration. Access registry (DNA, proteins), inventory, ELN entries, workflows via API, build Benchling Apps, query Data Warehouse, for lab data management automation.
Comprehensive molecular biology toolkit. Use for sequence manipulation, file parsing (FASTA/GenBank/PDB), phylogenetics, and programmatic NCBI/PubMed access (Bio.Entrez). Best for batch processing, custom bioinformatics pipelines, BLAST automation. For quick lookups use gget; for multi-service integration use bioservices.
How to use it
Take vibeeval/vibecosystem-math from the repository into ~/.claude/skills for personal
use, or into .claude/skills inside a project.
The agent identifies a skill by the name field in its header. Two skills with the
same name cannot sit side by side — one of them will be ignored.