symbolic-check
Installation
SKILL.md
Symbolic Check: Prove/Refute a Self-Authored Algebra Step with a CAS
Verify a symbolic manipulation you wrote — an identity, a derivative, a limit, a comparative-static sign, a closed form — using sympy. Unlike numerical falsification, this can positively verify the step: a CAS-confirmed identity is correct.
When to Use
- You wrote
A = B,∂f/∂x = g,lim = L,sign(∂f/∂x) = −, or "the closed form is …" and want it proven before it ships. symbolic-check, "verify this algebra / derivative / limit", "check the comparative-static sign", "does this closed form equal the original".- Companion to
mark-unverifiedfor self-authored algebra (the derivative-sign / closed-form family the rule explicitly names).
When NOT to Use
| Situation | Use instead |
|---|---|
| A full theorem/lemma you want machine-proven end-to-end | lean-check (R3) |
| A distributional / probabilistic claim over a parameter space | numerical-check (R1) |
| Re-verify a computed empirical result | cross-language-check |
| Conceptual / assumption review | domain-reviewer |