lichman0405/sure
v0.1.2Apache-2.0
Check AI-built software with the local SURE engine and use grounded repair contracts.
| Version | Commit | First seen | Updated |
|---|---|---|---|
| 0.1.2latest | 47e13c0610d9 | — | |
| 0.1.0 | 933b4322c308 | — |
Check AI-built software with the local SURE engine and use grounded repair contracts.
| Version | Commit | First seen | Updated |
|---|---|---|---|
| 0.1.2latest | 47e13c0610d9 | — | |
| 0.1.0 | 933b4322c308 | — |