SkillsLib.ai

Math

Route math problems to the right tool—compute, solve, explain

4.5(53 reviews)
500+ downloads
Updated Nov 2026
Verified SafeSecurity VerifiedThis skill was analyzed by our AI security scanner for harmful content including data exfiltration, system manipulation, credential theft, and prompt injection. No threats were detected.

What You Can Do

Solve algebraic and transcendental equations, compute derivatives and integrals, perform matrix operations, simplify expressions, compute limits and series expansions, solve differential equations, and convert units. Claude automatically selects the best computational engine for your problem—SymPy for symbolic math, Z3 for logical proofs, Pint for unit conversion—so you get fast, verified answers without manual tool selection.

Features

Solve equations

symbolic and numerical solutions for polynomials, transcendental, and systems of equations

Calculus operations

derivatives, indefinite/definite integrals, limits, Taylor series, and Laplace transforms

Matrix algebra

eigenvalues, eigenvectors, determinants, inverses, rank, row echelon form, and transpose

Differential equations

solve ODEs and systems with initial conditions using symbolic methods

Expression simplification

algebraic, trigonometric, and logarithmic simplification with step-by-step reduction

Unit conversion

convert between physical units (distance, mass, temperature, etc.) with automatic scaling

Logical proof assistance

route to /prove for machine-verified formal proofs in Lean 4 or category theory

Natural language explanation

Claude explains mathematical concepts, theorems, and results in plain English

Example Output

Example 1: Solve a differential equation

code
Input: "Solve y'' + y = cos(x)"
Output:
General solution: y(x) = C₁·sin(x) + C₂·cos(x) + (x/2)·sin(x)
Explanation: The homogeneous solution is C₁·sin(x) + C₂·cos(x). The particular solution uses the method of undetermined coefficients, yielding (x/2)·sin(x).

Example 2: Eigenvalues of a matrix

code
Input: "Find eigenvalues and eigenvectors of [[2, 1], [1, 2]]"
Output:
Eigenvalues: λ₁ = 3, λ₂ = 1
Eigenvector for λ = 3: [1, 1]
Eigenvector for λ = 1: [1, -1]

Example 3: Unit conversion

code
Input: "Convert 5 miles per hour to meters per second"
Output: 5 mi/h = 2.24 m/s

What's Included

  • SKILL.md: Core skill definition with triggers and tool routing logic
  • SymPy computation scripts: Pre-built Python modules for solve, integrate, diff, simplify, limit, series, dsolve, Laplace, and matrix operations
  • Z3 integration: Logical proof engine for inequality verification and boolean satisfiability
  • Pint unit conversion module: Comprehensive unit database with automatic dimensional analysis
  • Quick reference table: Command syntax and examples for all 20+ math operations

Who It's For

  • Engineers — solve systems of equations, compute eigenvalues, verify design constraints
  • Research scientists — symbolic integration, differential equation solving, dimensional analysis
  • Mathematics tutors — explain concepts, verify student solutions, generate worked examples
  • Physics students — Laplace transforms, ODE solving, unit conversion for problem sets
  • Data scientists — matrix algebra, eigenvalue decomposition, symbolic variable handling

Best For

  • Solving algebraic and transcendental equations with symbolic verification
  • Calculus operations (derivatives, integrals, limits) with step-by-step breakdowns
  • Linear algebra tasks (eigenvalues, matrix rank, inversion) for ML and scientific computing
  • Differential equation solving (ODEs and systems) for physics and engineering
  • Unit conversion and dimensional analysis across engineering and scientific domains
  • Expression simplification and mathematical proof assistance

You might also like

Slash Commands
$35
Tooling4.5(50)
Slash Commands

You can create reusable slash commands that execute instantly in Claude Code conversations. Commands support bash execution, file references, arguments, and tool permissions. Use built-in commands like /cost, /review, /memory, and /clear, or define custom project and personal commands stored in .claude/commands/ or ~/.claude/commands/.

Bid Assembly & Analysis for Preconstruction Estimates
$40
Bid Assembly & Analysis for Preconstruction Estimates

You can rapidly process multiple subcontractor bid responses—from trade contractors, material suppliers, and specialty vendors—into a cohesive, auditable estimate structure. Claude extracts key bid components, identifies pricing inconsistencies against benchmarks or prior projects, flags scope gaps and exclusions, and organizes everything by CSI division for seamless estimate assembly. This eliminates manual spreadsheet comparison and reduces the risk of overlooked scope omissions or pricing anomalies when managing 15+ concurrent bids.

Shapely Compute
$30
Shapely Compute

You can construct geometric objects (points, lines, polygons, multigeometries), execute boolean operations (intersection, union, difference), apply spatial predicates (contains, intersects, within), calculate measurements (area, length, distance, centroid), and transform geometries through translation, rotation, and scaling. This skill handles geometry validation, invalid geometry repair, and complex spatial analysis tasks.

Statistical Analysis Guide
$35
Statistical Analysis Guide

You can confidently navigate complex statistical analyses by working through structured workflows that match your research question and data type to the right test. The skill guides you through assumption validation, helps you interpret results accurately without common pitfalls, and walks you through regression diagnostics with full transparency about what your findings actually mean.

Construction Estimate Analysis & Refinement
$35
Estimating4.0(34)
Construction Estimate Analysis & Refinement

You can systematically analyze construction estimates by breaking down components, validating labor and material pricing against market data, identifying embedded errors or outdated assumptions, and applying data-driven contingency allocation. Claude helps you produce risk-adjusted cost projections that are defensible to stakeholders and competitive in bid scenarios, reducing estimate variance and catching pricing gaps before client submission.

Bid Assembly & Proposal Generation for Estimators
$30
Bid Assembly & Proposal Generation for Estimators

You can transform fragmented cost data, subcontractor quotes, and contingency calculations into cohesive, defensible bid packages that stakeholders understand and trust. This skill guides you through hierarchical cost aggregation, dynamic contingency modeling based on project risk, multi-tier markup application, and narrative integration that links scope assumptions to pricing—enabling you to develop competitive proposals with justified pricing strategies.

CPM Schedule Optimization & Risk Analysis
$35
CPM Schedule Optimization & Risk Analysis

You can paste CPM schedule exports from Primavera P6, Microsoft Project, or narrative descriptions into Claude to perform comprehensive constraint analysis and identify schedule optimization opportunities. The skill analyzes activity relationships, float distributions, resource constraints, and schedule vulnerability patterns to quantify which activities drive project completion, measure schedule buffer effectiveness, and develop quantified mitigation strategies that balance acceleration with cost and logistical feasibility.

Implement Task
$35
Full-Stack4.6(48)
Implement Task

You can deploy this agent to execute specific implementation tasks within a larger development plan. It operates independently with fresh context, follows test-driven development principles for every code change, and creates comprehensive handoff documentation that captures progress, decisions, and learnings for the next task executor. This ensures consistent code quality, prevents rework, and maintains continuity across distributed implementation efforts.

$35.00