Goedel-Code-Prover-8B
Goedel-Code-Prover-8BはGoedel-LMによる8億パラメータのチャットモデルです（2026年3月25日リリース）。Goedel-Code-Prover-8B is an open-weights chat model with roughly 8 billion parameters.
by Goedel-LM · 8Bパラメータ
得意な用途
- 低レイテンシのチャットとルーティング
- リクエストのルーティングとトリアージ
- テキスト分類
osFoundryでのGoedel-Code-Prover-8Bの使い方
ご自身のキーで接続（BYOK）
キーダイアログを開き、Goedel-LMのAPIキーを貼り付けるだけで、osFoundryがGoedel-Code-Prover-8Bを自動的に検出します。パイプラインタブでMaestroのロール（router、direct、orchestrator、fallback）に割り当てれば、すべてのチャットですぐに利用できます。ご自身のキー・ご自身のプロバイダーアカウントで、トークン手数料は一切上乗せしません。
専用エンドポイントをデプロイ
Goedel-Code-Prover-8Bはオープンウェイトです。ローカルで無料で実行することも、ワークスペースに専用GPUエンドポイントをデプロイして、レート制限のない予約済み容量を確保することもできます。
Room Appで使う
Room Appはマニフェストで AI 機能を宣言し、invokeAIで呼び出します:
import { invokeAI } from '@osfoundry/app-sdk'
// 'summarize' is an AI feature declared in your app manifest.
const result = await invokeAI('summarize', userText)
ご自身のアプリから呼び出す
モデルをワークスペースに組み込めば、APIとしてホストして、osFoundryの外側にあるご自身のサービス・スクリプト・CIから呼び出すことができます。
Goedel-Code-Prover-8Bを動かせるハードウェア
Goedel-Code-Prover-8Bは16GBのコンシューマー向けGPU1枚で動作します（KVキャッシュの余裕を含めて約5 GBのVRAM）。フル精度推論はH100 80GB 1枚にFP16精度で収まります（約20 GB）。
Goedel-Code-Prover-8Bと類似モデルの比較
ライセンス
未指定 — ライセンス条件が明示されていません。商用利用の前に上流のモデルカードをご確認ください。
上流のドキュメントをご確認ください。
Goedel-Code-Prover-8Bについてのよくある質問
Goedel-Code-Prover-8Bは無料で使えますか？
Goedel-Code-Prover-8Bはご自身のハードウェアでローカル実行する場合は無料です。osFoundry経由のホスティングアクセスは従量課金（入力 Free (local)、出力 Free (local)）となります。ローカルとホスティングはいつでも切り替えられます。
Goedel-Code-Prover-8Bを商用利用できますか？
条件付きで商用利用が許可されています。 ライセンス条件が明示されていません。商用利用の前に上流のモデルカードをご確認ください。 上流のドキュメントをご確認ください。
Goedel-Code-Prover-8Bに必要なVRAMはどれくらいですか？
Q4量子化で約5 GB、フルFP16精度で約20 GBが目安です。24GBのコンシューマー向けGPU1枚で動作します。
Goedel-Code-Prover-8Bをローカルで実行できますか？
はい。Goedel-Code-Prover-8Bはオープンウェイトで、ワークステーション向けGPUでローカル実行できます。osFoundryのローカルランタイムがモデルのロード、量子化、ルーティングを処理します。
Goedel-Code-Prover-8Bが最も得意なことは何ですか？
Goedel-Code-Prover-8Bは低レイテンシのチャットとルーティング, リクエストのルーティングとトリアージ, テキスト分類に適しています。
osFoundryでGoedel-Code-Prover-8Bをどう使えばよいですか？
キーダイアログでGoedel-LM APIキーを貼り付け（セルフホスト可能なモデルの場合はオープンウェイトをデプロイ）、パイプラインタブでGoedel-Code-Prover-8BをMaestroのロールに割り当てれば、チャット、invokeAI経由のRoom App、ご自身のアプリから利用できます。
Goedel-LMにより公開（2026年3月25日）。 出典: https://huggingface.co/Goedel-LM/Goedel-Code-Prover-8B