symbolic-check
CommunityProve or refute algebraic steps with CAS (sympy)
Authorflonat
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides symbolic verification of algebraic steps, such as derivatives, limits, and closed-form identities, using sympy.
Core Features & Use Cases
- Symbolic Verification: Verify algebraic steps with sympy to prove or refute their correctness.
- Automated Checks: Run checks automatically to confirm the accuracy of symbolic manipulations.
- Use Case: If you have an algebraic step like
A = B, you can use this Skill to verify ifAis indeed equal toB.
Quick Start
Use the symbolic-check skill to verify the identity A == B.
Dependency Matrix
Required Modules
sympy
Components
scripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: symbolic-check Download link: https://github.com/flonat/flonat-research/archive/main.zip#symbolic-check Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.