← Back
sahibzada-allahyar/Formal-Verification-RSI
Open-source AI ToolStatus: Published — critical fields verified, some fields unverified
sahibzada-allahyar/Formal-Verification-RSI: Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
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/sahibzada-allahyar/Formal-Verification-RSI |
| Ecosystem | github |
| Package | sahibzada-allahyar/Formal-Verification-RSI |
| Publisher | sahibzada-allahyar |
| License | MIT |
| Latest release | UNKNOWN |
| Status | ACTIVE |
| Homepage | https://sahibzada-allahyar.github.io |
| 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-11-01 | 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-11-01 Published (some fields unverified)
Registered metadata
| archived | ACTIVE |
| canonical_repository | https://github.com/sahibzada-allahyar/Formal-Verification-RSI |
| documentation_url | UNKNOWN |
| entity_kind | OPEN_SOURCE_AI_TOOL |
| homepage_url | https://sahibzada-allahyar.github.io |
| installation | None |
| latest_release | UNKNOWN |
| license | MIT |
| package_ecosystem | github |
| package_identifier | sahibzada-allahyar/Formal-Verification-RSI |
| platforms | None |
| publisher | sahibzada-allahyar |
| runtime_requirements | None |
Field verification (12 fields)
| Field | Status | Confidence | Value | Last checked / observed | Evidence |
|---|---|---|---|---|---|
| archived | ✓ Verified | Not obtained | ACTIVE | 2026-11-01 | |
| canonical_repository | ✓ Verified | Not obtained | https://github.com/sahibzada-allahyar/Formal-Verification-RSI | 2026-11-01 | |
| documentation_url | ? Unverified | Not obtained | UNKNOWN | 2026-11-01 | No evidence |
| homepage_url | ✓ Verified | Not obtained | https://sahibzada-allahyar.github.io | 2026-11-01 | |
| installation | ? Unverified | Not obtained | None | 2026-11-01 | No evidence |
| latest_release | ? Unverified | Not obtained | UNKNOWN | 2026-11-01 | No evidence |
| license | ✓ Verified | Not obtained | MIT | 2026-11-01 | |
| package_ecosystem | ✓ Verified | Not obtained | github | 2026-11-01 | |
| package_identifier | ✓ Verified | Not obtained | sahibzada-allahyar/Formal-Verification-RSI | 2026-11-01 | |
| platforms | ? Unverified | Not obtained | None | 2026-11-01 | No evidence |
| publisher | ✓ Verified | Not obtained | sahibzada-allahyar | 2026-11-01 | |
| runtime_requirements | ? Unverified | Not obtained | None | 2026-11-01 | No evidence |