ProofPipeline - SnakeBridge v3 Example

This example builds a multi-step proof grading pipeline using three Python libraries:

• SymPy for symbolic normalization
• pylatexenc for LaTeX handling
• math_verify for verification

The demo runs the live pipeline and requires Python libraries installed.

Quick Start

cd examples/proof_pipeline
mix deps.get
mix compile
mix run --no-start -e Demo.run

The first compile auto-installs the Python runtime and packages (managed via uv). This demo wraps execution in SnakeBridge.run_as_script/2 so Python workers are cleaned up when the script exits. Defaults are exit_mode: :auto and stop_mode: :if_started; set SNAKEPIT_SCRIPT_EXIT to override exit behavior when no explicit options are provided.

What It Does

1. Parse LaTeX into nodes with pylatexenc
2. Convert and simplify with SymPy
3. Verify with math_verify

Generated Structure

lib/snakebridge_generated/
├── sympy.ex
├── pylatexenc.ex
└── math_verify.ex

.snakebridge/manifest.json
snakebridge.lock

Interactive Usage

iex -S mix

iex> ProofPipeline.sample_input()

iex> ProofPipeline.run(ProofPipeline.sample_input())
# requires Python runtime + libs

Key Files