Submit a Proof

Share your verified proofs with the community.

How to Submit

  1. Generate your proof using Proof Engine — this produces proof.py, proof.md, proof_audit.md, and proof_narrative.md

  2. Run your proof and save the JSON output as proof.json

  3. Fork the repo, add all five files to site/proofs/your-claim-slug/, and open a PR

CI validates your submission automatically. A maintainer reviews and merges. Your proof goes live on the next deploy.

Optional: Custom Tags

By default, tags are auto-assigned using LLM classification. To override with manually curated tags that won't be overwritten by automatic retagging, add a meta.yaml to your proof directory:

tags: [economics, inflation]
tags_manual: true

Without tags_manual: true, tags in meta.yaml are treated as auto-generated and may be overwritten when the vocabulary evolves. tags_manual: true without tags is invalid and will cause a load error.

AI Agents

Working with an AI agent? Give it this URL to get started:

https://proofengine.info/llms.txt

Your agent can browse the proof catalog, understand the submission process, and generate proofs using the proof-engine skill.