Skill

verify-math

Verifies mathematical derivations step-by-step using SymPy via CLI. Checks equality, differentiates, integrates, simplifies expressions, and solves equations.

Python

cli-tools

testing

npx claudepluginhub yy/claude-scholar --plugin claude-scholar

Tool Access

This skill uses the workspace's default tool permissions.

Preview

Verify mathematical derivations step-by-step using SymPy.

Supporting Assets

test_verify.pyverify.py

SKILL.md

Similar Skills

sympy

36.4k

Perform symbolic mathematics in Python using SymPy: algebra, calculus operations, equation solving, matrices, physics calculations, and code generation for exact results.

antigravity-awesome-skills

sympy

Performs symbolic mathematics in Python using SymPy: algebraic equation solving, calculus (derivatives, integrals, limits), expression manipulation, matrices, physics, code generation. Use for exact symbolic results.

5 files

superpowers

sympy-symbolic-math

135

Performs symbolic math in Python using SymPy: exact algebra, calculus (derivatives, integrals, limits), equation solving, symbolic matrices, ODEs, code gen (lambdify, C/Fortran). For exact results.

sciagent-skills

Stats

Stars11

Forks1

Last CommitMar 23, 2026

Actions

View Source View Plugin View on GitHub View README

Help us improve

Share bugs, ideas, or general feedback.

Math Derivation Skill

Verify mathematical derivations step-by-step using SymPy.

When to Use

Deriving equations (differentiation, integration, algebraic manipulation)
Verifying mathematical identities
Step-by-step proofs where each step should be validated

Workflow

For each derivation step:

State the transformation being applied
Write the result
Verify with ./verify.py before proceeding

Verification Commands

# Check two expressions are equal
./verify.py eq "EXPR1" "EXPR2"

# Compute derivative
./verify.py diff "EXPR" [VAR]

# Compute integral
./verify.py int "EXPR" [VAR]

# Simplify/expand expression
./verify.py simp "EXPR"

# Solve equation (EXPR = 0)
./verify.py solve "EXPR" [VAR]

Paths are relative to this skill's directory.

Expression Syntax

Powers: x**2 or x^2
Functions: sin(x), cos(x), exp(x), log(x), sqrt(x)
Pre-defined symbols: x y z t s n k a b c C
Reserved symbols handled: E I S N O (treated as variables, not SymPy constants)

Example Derivation

Problem: Find dF/ds where F(s) = s - log(e^s + C)

Step 1: Apply derivative rule

dF/ds = 1 - d/ds[log(e^s + C)]
      = 1 - e^s/(e^s + C)

./verify.py diff "s - log(exp(s) + C)" s

Step 2: Simplify to single fraction

= (e^s + C - e^s)/(e^s + C)
= C/(e^s + C)

./verify.py eq "1 - exp(s)/(exp(s) + C)" "C/(exp(s) + C)"