Kimina-Prover-AI-MO-GGUF
prithivMLmodsが2025年に公開したKimina-Prover-AI-MO-GGUFは、チャットモデルです。Kimina-Prover-AI-MO-GGUF is an open-weights chat model.
by prithivMLmods
得意な用途
osFoundryでのKimina-Prover-AI-MO-GGUFの使い方
ご自身のキーで接続（BYOK）
キーダイアログを開き、prithivMLmodsのAPIキーを貼り付けるだけで、osFoundryがKimina-Prover-AI-MO-GGUFを自動的に検出します。パイプラインタブでMaestroのロール（router、direct、orchestrator、fallback）に割り当てれば、すべてのチャットですぐに利用できます。ご自身のキー・ご自身のプロバイダーアカウントで、トークン手数料は一切上乗せしません。
専用エンドポイントをデプロイ
Kimina-Prover-AI-MO-GGUFはオープンウェイトです。ローカルで無料で実行することも、ワークスペースに専用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から呼び出すことができます。
Kimina-Prover-AI-MO-GGUFと類似モデルの比較
ライセンス
未指定 — ライセンス条件が明示されていません。商用利用の前に上流のモデルカードをご確認ください。
上流のドキュメントをご確認ください。
Kimina-Prover-AI-MO-GGUFについてのよくある質問
Kimina-Prover-AI-MO-GGUFは無料で使えますか？
Kimina-Prover-AI-MO-GGUFはご自身のハードウェアでローカル実行する場合は無料です。osFoundry経由のホスティングアクセスは従量課金（入力 Free (local)、出力 Free (local)）となります。ローカルとホスティングはいつでも切り替えられます。
Kimina-Prover-AI-MO-GGUFを商用利用できますか？
条件付きで商用利用が許可されています。 ライセンス条件が明示されていません。商用利用の前に上流のモデルカードをご確認ください。 上流のドキュメントをご確認ください。
Kimina-Prover-AI-MO-GGUFをローカルで実行できますか？
はい。Kimina-Prover-AI-MO-GGUFはオープンウェイトで、ワークステーション向けGPUでローカル実行できます。osFoundryのローカルランタイムがモデルのロード、量子化、ルーティングを処理します。
Kimina-Prover-AI-MO-GGUFが最も得意なことは何ですか？
Kimina-Prover-AI-MO-GGUFはtext generationに適しています。
osFoundryでKimina-Prover-AI-MO-GGUFをどう使えばよいですか？
キーダイアログでprithivMLmods APIキーを貼り付け（セルフホスト可能なモデルの場合はオープンウェイトをデプロイ）、パイプラインタブでKimina-Prover-AI-MO-GGUFをMaestroのロールに割り当てれば、チャット、invokeAI経由のRoom App、ご自身のアプリから利用できます。
prithivMLmodsにより公開（2025年8月21日）。 出典: https://huggingface.co/prithivMLmods/Kimina-Prover-AI-MO-GGUF