math

Route mathematical tasks to SymPy, Z3, and Pint tools.

8|1|Updated Jan 4, 2026

Search Tags:#calculus #computation #z3 #math #algebra #sympy #units

Ready to run

npx skills add https://github.com/scooter-lacroix/Maestro --skill math

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: math
Source: https://github.com/scooter-lacroix/Maestro/tree/main/maestro/skills/math/math-unified
Command: npx skills add https://github.com/scooter-lacroix/Maestro --skill math

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill provides a single interface for performing a wide range of mathematical operations, from symbolic computation and equation solving to unit conversions and conceptual explanations.

Core Features & Use Cases

Symbolic Computation: Solve equations, perform integration, differentiation, and matrix operations using SymPy.
Constraint Solving: Determine satisfiability and prove theorems using Z3.
Unit Conversion: Convert between various units of measurement using Pint.
Explanations: Get clear explanations of mathematical concepts by referencing specialized topic skills.
Use Case: Calculate the eigenvalues of a matrix, then convert a distance from miles to kilometers, and finally ask for an explanation of what a functor is.

Quick Start

Use the math skill to solve the equation x squared minus 4 equals 0.

Frequently Asked Questions about math

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I perform symbolic computation and solve algebraic equations?▼

You can solve equations and perform symbolic computation by routing your request through this interface, which leverages SymPy for algebraic manipulation, differentiation, and matrix operations.

Can I use Z3 for constraint solving and logical proofs?▼

Z3 is used for constraint solving and logical proofs by routing your formulas to the Z3 solver, which determines satisfiability and proves theorems within the unified computation interface.

What is the best way to convert units of measurement like miles to kilometers?▼

The best way to convert units of measurement is using the integrated Pint library, which processes your input values and outputs accurate conversions between various units like miles and kilometers.

Does this math interface provide conceptual explanations for topics like calculus?▼

The math interface provides conceptual explanations for topics like calculus by accessing specialized topic knowledge bases, delivering in-depth understanding of mathematical concepts alongside computation.

Can I calculate eigenvalues and then convert the resulting units in one workflow?▼

You can calculate matrix eigenvalues and perform unit conversions in a single workflow because the unified interface sequentially routes tasks to specialized tools like SymPy and Pint.