Skills
.Work. You
Rest

proof-verify

Community

Verify algebraic steps with symbolic checks.

Education & Research#verify#algebra#proof#symbolic#sympy#dimensional#numeric
AuthorShiien
Version1.0.0
Installs0

System Documentation

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).

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 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: proof-verify
Download link: https://github.com/Shiien/Self-Evolved-Research-Framework/archive/main.zip#proof-verify

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.