bdd-mathematical-verification
OfficialBDD-driven math verification with executable specs.
Authorplurigrid
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Brings executable, scenario-based verification to mathematical formulas, enabling reproducible math checks.
Core Features & Use Cases
- Gherkin Scenarios: Natural-language mathematical specifications.
- RSpec Implementation: Executable verification.
- MathPix Integration: Automatic LaTeX extraction from images.
- Pattern Matching & Equivalence: Structural checks and algebraic equivalence.
- Music-Topos Provenance: Artifact registration and provenance.
Quick Start
Run cucumber features and rspec specs to validate a sample quadratic polynomial.
Dependency Matrix
Required Modules
rspeccucumbermathpixparsletmathn
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: bdd-mathematical-verification Download link: https://github.com/plurigrid/asi/archive/main.zip#bdd-mathematical-verification Please download this .zip file, extract it, and install it in the .claude/skills/ directory.