How does it extract formulas from images?

The skill integrates with the Mathpix API to convert images, PDFs, and handwritten notes into structured LaTeX, Markdown, or SMILES strings for chemistry.

What is BDD in the context of mathematics?

It uses Gherkin scenarios (Given-When-Then) to define expected mathematical properties and behaviors, making them executable and verifiable through code.

Can it check if two different-looking formulas are algebraically the same?

Yes, it includes algebraic equivalence checking that simplifies expressions to their canonical forms to verify they represent the same mathematical value.

How are verified formulas stored?

Verified formulas are registered as artifacts in a DuckDB database, including metadata like LaTeX strings, verification timestamps, and provenance records.

What dependencies are required to use this skill?

It requires Ruby with gems such as rspec, cucumber, mathpix-gem, and parslet, along with a valid Mathpix API key for extraction features.

BDD Mathematical Verification

Name: BDD Mathematical Verification
Author: plurigrid

byplurigrid

•

セキュリティとテスト

Validates and extracts mathematical formulas from documents and images using Behavior-Driven Development workflows.

This skill bridges the gap between raw mathematical content and executable specifications by combining Gherkin-based scenarios with robust formula extraction and verification. By leveraging the Mathpix API for LaTeX conversion and RSpec for pattern-based syntax tree validation, it allows developers and researchers to iteratively discover, verify, and register mathematical properties as traceable artifacts. It is particularly useful for projects requiring high-assurance mathematical documentation or automated validation of algebraic expressions within complex systems like Music-Topos.

主な機能

01Automated LaTeX extraction from images and PDFs via Mathpix API integration

02BDD-driven verification using Gherkin syntax for human-readable mathematical specs

03Syntax tree pattern matching to validate standard, factored, or simplified forms

04Algebraic equivalence checking to ensure consistency across formula transformations

05Artifact registration with DuckDB for persistent provenance and formula tracking

067 GitHub stars

ユースケース

01Verifying the accuracy of mathematical formulas extracted from legacy research papers

02Building a searchable, verified database of mathematical properties for scientific research

03Automating the testing of symbolic math engines and algebraic simplification logic

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi bdd-mathematical-verification

For use in Claude.ai and ChatGPT

Download Skill