proof-verify

Verify mathematical expressions and derivations using symbolic, numeric, or dimensional checks.

7|1|Updated Mar 19, 2026

Search Tags:#verify #algebra #proof #symbolic #sympy #dimensional #numeric

Ready to run

npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-verify

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: proof-verify
Source: https://github.com/Shiien/Self-Evolved-Research-Framework/tree/main/skills/proof-verify
Command: npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-verify

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Verify algebraic expressions, derivations, and identities by applying symbolic, numeric, or dimensional verification, delivering a clear verdict.

Core Features & Use Cases

Symbolic verification: attempt algebraic manipulation to confirm or refute a given step or identity.
Numeric verification: test the expression with diverse values to check consistency.
Use Case: verify a step in a derivation to ensure no algebraic mistake before proceeding.

Quick Start

Prompt the AI to verify a given algebraic expression by providing the expression and the preferred verification mode (symbolic, numeric, or dimensional).

Frequently Asked Questions about proof-verify

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

FAQPage Schema

How do I verify an algebraic derivation step for correctness?▼

To verify an algebraic derivation step, provide the expression and select a verification mode like symbolic, numeric, or dimensional checks. The Skill evaluates the step and returns a clear CONFIRMED, REFUTED, or INCONCLUSIVE verdict with an explanation.

What is the difference between symbolic, numeric, and dimensional proof verification?▼

Symbolic verification confirms identities through algebraic manipulation, numeric verification tests expressions with diverse values for consistency, and dimensional verification checks units. Each method targets different aspects of mathematical expressions to ensure derivation accuracy.

Can I use SymPy to check algebraic identities and stepwise proofs?▼

Yes, you can use SymPy to check algebraic identities and stepwise proofs. The Skill optionally leverages Python and SymPy for automated symbolic verification, applying algebraic manipulation to confirm or refute mathematical derivations.

How do I check if a mathematical identity holds before proceeding with my derivation?▼

Check if a mathematical identity holds by prompting the AI with your expression and choosing a verification mode. Numeric testing evaluates the expression with diverse values, while symbolic manipulation confirms the identity to prevent algebraic mistakes before you proceed.

What does it mean when an algebraic verification returns an INCONCLUSIVE result?▼

An INCONCLUSIVE algebraic verification result means the symbolic, numeric, or dimensional checks could not definitively confirm or refute the expression. This happens when the available verification methods lack sufficient evidence to prove the mathematical step's correctness.

Do I need Python installed to perform symbolic verification of algebraic expressions?▼

Python is an optional requirement for automated symbolic verification of algebraic expressions. The Skill can perform verification using symbolic, numeric, or dimensional checks, but Python with SymPy support enables deeper automated algebraic manipulation.