MCP 経由でローカル XLS ツールを使用する

検証済みの Linux CLI を stdio クライアントに接続し、ローカル XLS ツールを使用します。

Linux x86_64 では、Altifigence CLI のローカル XLS モードを使用して、インラインの DSLX または XLS IR ソースを検査、評価できます。

ローカルツールに接続する

  1. Altifigence CLI ガイドに従って、検証済みの Linux x86_64 バンドルをインストールしてください。

  2. MCP クライアントの stdio 設定で、コマンドにインストール済みの alti-mcp 実行ファイルの絶対パスを指定し、引数リストは空にしてください。検証済みのインストール先で、alti-xls を同じディレクトリに置いてください。

  3. サーバープロセスの環境変数 ALTI_MCP_MODE を local-xls に設定し、接続してください。

  4. クライアントのツールリストを更新してください。altifigence.local.xls.capabilities を {} で呼び出し、返されたエンジン機能と実行記録を確認してください。

ソースツールを使用する

ローカルツールは、同じディレクトリにある XLS エンジンを CPU 上で実行します。

  • altifigence.local.xls.capabilities — エンジンの機能を確認します。

  • altifigence.local.xls.check — ソースを検査します。

  • altifigence.local.xls.eval — 入力ベクトルを使用してソースを評価します。

  • altifigence.local.xls.optimize — XLS IR を最適化します。

  • altifigence.local.xls.codegen — RTL を生成します。

ソース操作では、input_kind（dslx または xls-ir）、インラインの source、および top に最上位関数の名前を指定してください。eval には、文字列値の配列を要素とする vectors も指定してください。codegen には、pipeline を指定して stages の値を 1 から 16 に設定できます。

結果を使用する前に isError を確認してください。エンジンの呼び出しが成功すると、engine と receipt が structuredContent に返されます。