mort-mcp

mort-mcp

AI エージェントに、見たことのない言語を書かせましょう。

Mort は、C にコンパイルされる静的型付けのシステム言語です。 MORT OS はこの言語で書かれています。どのモデルも学習データに Mort を含んでいないため、エージェントに Mort でコードを書くよう頼むと、Rust のような構文を推測して間違えてしまいます。

mort-mcp は、人間の初心者が利用するものをエージェントに提供します。高速で正確なエラーを返す型チェッカー、プログラムを実行する手段、検索可能な言語仕様、標準ライブラリの正確なシグネチャです。

> mort_check
FAILED:
error: <source>:4:1: argument 1 of 'strings.starts_with' expects []const u8, got *u8
        if strings.starts_with("mortos", "mort") {

> mort_std strings
// First byte offset of `needle` in `text`, or None if it does not occur.
pub fn index_of(text: []const u8, needle: []const u8) -> Option<u64>;
...

> mort_run
[exit 0]
1

インストール

Mort コンパイラーが必要です。最も簡単なセットアップ方法はリポジトリをチェックアウトすることです。ドキュメントとサンプルも一緒に取得できます。

git clone https://github.com/0xmortuex/Mort
pip install mort-mcp ziglang     # ziglang = zero-install C backend for mort_run
claude mcp add mort --env MORT_HOME=/path/to/Mort -- mort-mcp

MORT_HOME を設定していない場合、mort-mcp は PATH 上の mortc を使用します（pip install git+https://github.com/0xmortuex/Mort）。この方法でも、チェック、実行、標準ライブラリの検索をすべて利用できます。mort_docs と mort_examples の利用には、リポジトリのチェックアウトが必要です。

ツール

ツール	説明
mort_check	source テキストまたは files をビルドせずに型チェックします。高速で、C コンパイラーは必要ありません。診断結果は、該当するソース行とともに file:line:col の形式で返されます。
mort_run	stdin、args、タイムアウトを指定してコンパイルおよび実行します。出力と終了コードを報告します。
mort_emit_c	生成された C を表示します。freestanding=True を指定すると、カーネルモードの出力を表示します。
mort_format	公式フォーマッター（mortc fmt）でフォーマットします。
mort_std	標準ライブラリのモジュールを一覧表示するか、モジュールの公開 API（正確なシグネチャ、構造体フィールド、ドキュメントコメント）を表示します。
mort_docs	言語仕様とリファレンスドキュメントを検索します。例：「resource struct cleanup」や「integer overflow」。
mort_examples	コンパイラーのサンプルプログラムを一覧表示または読み込みます。
mort_version	コンパイラーと言語のバージョン、およびコンパイラーが見つかった場所を表示します。

すべてのツールはコマンドラインインターフェースを通じて mortc を呼び出し、インストール済みコンパイラーから標準ライブラリのシグネチャとドキュメントを読み込みます。そのため、言語が変更されても、回答は実行中のバージョンと一致します。

テスト

pip install ".[test]" "ruff==0.16.0" "mypy==2.3.0" ziglang
ruff check src tests && mypy --strict src
MORT_HOME=/path/to/Mort pytest tests

MORT_HOME を設定していない場合、実行されるのはユニットテストと MCP ハンドシェイクテストのみです。CI では最新の Mort をチェックアウトし、毎晩すべてのテストも実行するため、コンパイラーの CLI やドキュメントのレイアウトに変更があると、ビルドの失敗として検出されます。

ライセンス

MIT