← Back
Sanexxxx777/ProofForge
Open-source AI ToolStatus: Published — critical fields verified, some fields unverified
Sanexxxx777/ProofForge: AI-agent pipeline producing machine-verified Lean 4 proofs — four PRs merged into Google DeepMind's formal-conjectures
- AI-agent pipeline producing machine-verified Lean 4 proofs — four PRs merged into Google DeepMind's formal-conjectures
Risk
No known risk within the verified fields.
12
All fields
7
Verified
0
Verified empty
5
Unverified
Open-source AI Tool details
Repository
| Repository | https://github.com/Sanexxxx777/ProofForge |
| Ecosystem | github |
| Package | Sanexxxx777/ProofForge |
| Publisher | Sanexxxx777 |
| License | Apache-2.0 |
| Latest release | UNKNOWN |
| Status | ACTIVE |
| Homepage | https://shulgin.is-a.dev |
| Documentation | UNKNOWN |
Runtime
| Platforms | UNKNOWN |
| Runtime requirements | UNKNOWN |
| Installation | UNKNOWN |
Critical Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Pricing | UNKNOWN | Not obtained | Not obtained | 0 |
| Availability | UNKNOWN | Not obtained | Not obtained | 0 |
| Language | UNKNOWN | Not obtained | Not obtained | 0 |
| Integration | UNKNOWN | Not obtained | Not obtained | 0 |
| Deployment | UNKNOWN | Not obtained | Not obtained | 0 |
| Commercial use | Verified | 2026-09-29 | Not obtained | 1 |
Functional Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Capability | UNKNOWN | Not obtained | Not obtained | 0 |
| Automation behavior | UNKNOWN | Not obtained | Not obtained | 0 |
| Input | UNKNOWN | Not obtained | Not obtained | 0 |
| Output | UNKNOWN | Not obtained | Not obtained | 0 |
Change history
- 2026-09-29 Published (some fields unverified)
Registered metadata
| archived | ACTIVE |
| canonical_repository | https://github.com/Sanexxxx777/ProofForge |
| documentation_url | UNKNOWN |
| entity_kind | OPEN_SOURCE_AI_TOOL |
| homepage_url | https://shulgin.is-a.dev |
| installation | None |
| latest_release | UNKNOWN |
| license | Apache-2.0 |
| package_ecosystem | github |
| package_identifier | Sanexxxx777/ProofForge |
| platforms | None |
| publisher | Sanexxxx777 |
| runtime_requirements | None |
Field verification (12 fields)
| Field | Status | Confidence | Value | Last checked / observed | Evidence |
|---|---|---|---|---|---|
| archived | ✓ Verified | Not obtained | ACTIVE | 2026-09-29 | |
| canonical_repository | ✓ Verified | Not obtained | https://github.com/Sanexxxx777/ProofForge | 2026-09-29 | |
| documentation_url | ? Unverified | Not obtained | UNKNOWN | 2026-09-29 | No evidence |
| homepage_url | ✓ Verified | Not obtained | https://shulgin.is-a.dev | 2026-09-29 | |
| installation | ? Unverified | Not obtained | None | 2026-09-29 | No evidence |
| latest_release | ? Unverified | Not obtained | UNKNOWN | 2026-09-29 | No evidence |
| license | ✓ Verified | Not obtained | Apache-2.0 | 2026-09-29 | |
| package_ecosystem | ✓ Verified | Not obtained | github | 2026-09-29 | |
| package_identifier | ✓ Verified | Not obtained | Sanexxxx777/ProofForge | 2026-09-29 | |
| platforms | ? Unverified | Not obtained | None | 2026-09-29 | No evidence |
| publisher | ✓ Verified | Not obtained | Sanexxxx777 | 2026-09-29 | |
| runtime_requirements | ? Unverified | Not obtained | None | 2026-09-29 | No evidence |