veriphy
No liveness check has reached it yet; it is registered on GitHub and PyPI and has been in the index since 12 Oct 2026. How this is checked
veriphy is an open-source Python package for machine-verifying physics and mathematics proofs in Lean 4. It uses SageMath as an untrusted oracle while Lean provides the trusted proof verification layer, targeting researchers and developers working with formal mathematics.
Inferred · not functionally tested
Overview
5 featuresPurpose: Verifying physics and mathematics proofs with machine-checkable Lean 4 formalization.
Inferred · not functionally tested
Audience: mathematicians, physicists, and formal methods developers
Inferred · not functionally tested
Functions: Unknown
Interfaces: API: unknown · MCP: unknown · CLI: indicated (inferred, not tested) · Self-hosting: indicated (inferred, not tested)
Recorded constraints: pricing: open_source · license: Apache-2.0 · platforms: CLI · deployment: cli, self_hosted
Constraint provenance is unknown; confirm requirements with the publisher.
Record sources: pypi.org · github.com. These links do not verify the individual claims.
veriphy is a Frameworks & SDKs project. Inferred · not functionally tested: It focuses on verifying physics and mathematics proofs with machine-checkable Lean 4 formalization. Inferred · not functionally tested: It is built as an open-source project for mathematicians, physicists, and formal methods developers. Basis unknown · not verified: veriphy is open source under the Apache-2.0 license. Basis unknown · not verified: It ships for the command line, and it can be self-hosted.
It is developed by George Douzas, and it first shipped in 2026. Development happens publicly on GitHub with 67 commits in the last 90 days. Inferred · not functionally tested: Among its 5 catalogued features are lean 4 Verification, Physics Proofs, and Math Proofs.
Summary written by a language model from the project’s public pages.
Tasks: Inferred · not functionally tested
- Lean 4 Verification
- Physics Proofs
- Math Proofs
- SageMath Oracle
- Machine Checking
Topics: Inferred · not functionally tested
Built with & integrations
- Claude Code
- commit 69fe5d236838 · since Oct 2026
Trust & compliance
Indexing history
1What PulseGate has recorded for this listing
Frequently asked questions about veriphy
- What is veriphy?
- Inferred · not functionally tested: Veriphy focuses on verifying physics and mathematics proofs with machine-checkable Lean 4 formalization. It is catalogued under Frameworks & SDKs on PulseGate.
- Who is veriphy for?
- Inferred · not functionally tested: veriphy is an open-source project built for mathematicians, physicists, and formal methods developers.
- Is veriphy free?
- Basis unknown · not verified: Yes — veriphy is open source under the Apache-2.0 license and free to use.
- What platforms does veriphy run on?
- Basis unknown · not verified: veriphy runs on the command line. It can also be self-hosted.
- Is veriphy still maintained?
- The GitHub repository shows 67 commits in the last 90 days.
- What are alternatives to veriphy?
- Similar projects tracked by PulseGate include netbox-macadress, Nitro, and vodozemac-rb.netbox-macadressNitrovodozemac-rb
- Who develops veriphy?
- veriphy is developed by George Douzas.
- How long has veriphy been around?
- veriphy first shipped in 2026.
Also in Frameworks & SDKs
Same category — not a similarity match