AGENTS / GITHUB / vali
githubinferredactive

vali

provenance:github:sampatkalyan/vali

VALI - verification-gated coding platform: Z3-proved refactors, ThoughtGraph reasoning DAG, temporal time-travel over agent edits

View Source ↗First seen todayNot yet hireable

PUBLIC HISTORY

First discoveredAug 26, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub
first seenAug 25, 2026
last updatedAug 25, 2026
last crawledtoday
version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:sampatkalyan/vali)