Issue del repository

yogthos/veriframe

An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove the uniqueness of SMT-encoded solutions.

Vedi su GitHub
Star
 (4 stelle)
Fork
 (0 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
6 ago 2026
Ultimo push GitHub
5 mag 2026
Licenza
Eclipse Public License 2.0
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
TypeScript
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.