WindowsでのSpecForgeのセットアップ

このガイドでは、WindowsでSpecForgeをセットアップする方法を説明します。

1. インストール

MSIインストーラー（推奨）

SpecForgeリリースページからspecforge-x.y.z-Windows-X64-ja-JP.msiをダウンロードし、インストーラーを実行します。

MSIインストーラーは以下を行います：

• SpecForgeをC:\Program Files\Imiron\SpecForge\にインストール
• システムのPATHに自動的にSpecForgeを追加
• 必要なすべての依存プログラム（Z3、rsvg-convert）をインストール

単一実行ファイル

SpecForgeリリースページからspecforge-x.y.z-Windows-X64.zipをダウンロードし、任意のディレクトリに解凍します。

注意： この方法では、依存関係を手動でインストールする必要があります。

SpecForge実行ファイルには、Z3とrsvg-converter（オプション）がシステムにインストールされている必要があります。

Chocolateyの使用（推奨）

PowerShellを管理者権限で開き、次のコマンドを実行します：

choco install z3 rsvg-convert

Chocolateyをお持ちでない場合は、chocolatey.orgからインストールできます。

手動インストール

パッケージマネージャーを使用したくない場合は、Z3リリースページから直接Z3をダウンロードし、PATHに追加してください。

2. エディションとライセンスの設定

利用水準もライセンスも設定されていない場合、SpecForgeはデフォルトでCommunity Editionとして動作します。commercial水準では、有効なライセンスによってEnterprise Editionが有効にならない限り、プロジェクトサイズに制限のあるEssential Editionとして動作します。詳細および利用水準の変更手順については、エディション、利用水準、ライセンスを参照してください。

Enterprise Editionを利用するには、license.jsonファイルを次のいずれかの場所に配置します：

SpecForgeは、これらのlicense.jsonのパスより前に、標準設定ディレクトリとカレントディレクトリの*-license.jsonも検索します。SPECFORGE_LICENSE_FILEを設定した場合は、そのファイルのみを検索します。

1. 標準設定ディレクトリ（推奨）：

   • %APPDATA%\specforge\license.json
   • 通常： C:\Users\YourUsername\AppData\Roaming\specforge\license.json

2. 環境変数（任意のパスを用いる場合）：

   $env:SPECFORGE_LICENSE_FILE="C:\path\to\license.json"
   

3. カレントディレクトリ： .\license.json

標準設定ディレクトリが存在しない場合は作成します。PowerShellで以下のように作成できます：

New-Item -ItemType Directory -Force -Path "$env:APPDATA\specforge"
Copy-Item "C:\path\to\your\license.json" "$env:APPDATA\specforge\license.json"

3. LLMプロバイダーの設定（オプション）

自然言語による仕様生成やエラー説明などのLLMベースの機能を使用するには、サーバーを起動する前に環境変数によってLLMプロバイダーを設定します。

OpenAIの場合（推奨）：

$env:SPECFORGE_LLM_PROVIDER="openai"
$env:SPECFORGE_LLM_MODEL="gpt-5-nano-2025-08-07"
$env:OPENAI_API_KEY="your-api-key-here"

APIキーはplatform.openai.com/api-keysから取得できます。

他のプロバイダー（Gemini、Anthropic、Ollama）については、LLMプロバイダーの設定ガイドを参照してください。

4. サーバーの起動

MSIインストーラーを使用した場合は、任意のディレクトリから以下を実行してSpecForgeを起動できます：

specforge serve

スタンドアロン実行ファイルを使用した場合は、SpecForge実行ファイルを解凍したディレクトリに移動し、次のコマンドを実行します：

.\specforge.exe serve

サーバーはhttp://localhost:8080で起動します。http://localhost:8080/healthにアクセスして、バージョン情報が表示されることを確認できます。

5. VSCode拡張機能のインストール

SpecForge VSCode拡張機能をVisual Studio Marketplaceからインストールするか、VSCode拡張機能セットアップガイドを参照してください。

6. Python SDKのインストール（オプション）

Python SDKを使用すると、PythonからプログラムでSpecForgeサーバーと連携できます。PythonノートブックにSpecForgeの解析を組み込んだり、Pandas DataFrameを使ってデータの入出力を直接行ったりすることができます。セットアップ手順についてはPython SDKセットアップガイドを参照してください。

参考情報

• VSCode拡張機能 - VSCode拡張機能の機能について学ぶ
• Python SDK - プログラムによるアクセスのためにPython SDKをセットアップする
• SpecForge早わかり - SpecForgeの機能を体験する
• プロジェクト設定 - specforge.tomlによる設定について学ぶ