# Proof Engine

> Open-source tool that proves claims using cited sources and executable code. Every fact is traced to its source, every calculation is re-runnable. No LLM trust required.

## Browsing Proofs

- [Proof Catalog](https://yaniv-golan.github.io/proof-engine/catalog/): Browse all verified proofs
- [Catalog API](https://yaniv-golan.github.io/proof-engine/index.json): Machine-readable JSON catalog with all proofs, verdicts, tags, and links to individual proof.json files
- [Methodology](https://yaniv-golan.github.io/proof-engine/methodology/): How Proof Engine works — citation verification, executable proofs, structured verdicts

## Submitting Proofs

- [Submit a Proof](https://yaniv-golan.github.io/proof-engine/submit/): Submit a verified proof via GitHub pull request. Generate proof files with proof-engine (produces proof.py, proof.md, proof_audit.md), run the proof to create proof.json, then fork the repo and PR all four files to site/proofs/your-claim-slug/. CI validates automatically.

## Generating Proofs

- [Install Proof Engine](https://github.com/yaniv-golan/proof-engine#installation): Install the proof-engine skill for Claude Code, Cursor, or other AI agents to generate verifiable proofs from claims
- [GitHub Repository](https://github.com/yaniv-golan/proof-engine): Source code, documentation, and examples