Repository Issues

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.

GitHub で見る
Stars
 (4 個のスター)
Forks
 (0 件のフォーク)
Indexed issues
 (0 件の索引済み Issue)
open beginner issues
 (0 件のオープンな初心者向け Issue)
最終索引
2026/08/06
最終 GitHub push
2026/05/05
ライセンス
Eclipse Public License 2.0
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
TypeScript
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

0 件のオープンな索引 Issue

このリポジトリには open の索引済み Issue がありません。