remit

Remit

AI が作成したプログラムの実行前に、そのプログラムで何ができるかを把握できます。

Remit は、エージェントのワークフロー、つまりツールやモデルを呼び出すプログラム向けの、小規模な静的型検査付き言語です。 AI エージェントが記述、編集することを想定しています。プログラムの実行前に、チェッカーは次の内容を報告します。

• ホストが管理するリストから、使用できる機能。
• 各機能を呼び出せる最大回数と、最悪の場合の費用。
• 信頼されていないデータ（ドキュメント、Web ページ、モデルの出力）や非公開データが、支払い情報やメールの宛先などの機密パラメーターに到達する可能性があるかどうか。このようなデータフローはすべて、拒否されるか、引数を正確に指定したうえで人間の承認を求めます。

その後、ランタイムブローカーが同じルールを適用し、再生可能なトレースを記録します。

ブラウザーで試す： https://77-68-52-20.sslip.io/try.html （AI が行いそうな編集を選び、許可またはブロックされるか、その理由を確認できます）。AI エージェント向け： https://77-68-52-20.sslip.io/mcp の MCP サーバーに接続してください。

payments.schedule(vendor_id: vendor.id, iban: inv.iban_on_invoice, amount: inv.amount, ...)

error[E0301]: data tagged untrusted flows into 'payments.schedule' parameter 'iban', which denies it
  note: 'inv.iban_on_invoice' is untrusted because it derives from inbox.read (line 20)

AI エージェント向け

• MCP サーバー、ローカル： remit mcp（stdio）。

• MCP サーバー、ホスト型： remit mcp --http。任意で API キーと使用量計測を利用できます。

• ツール：

  ツール	機能
  remit_guide	ガイドまたは完全な仕様
  remit_check	エラーと権限マニフェスト
  remit_format	標準形式でのフォーマット
  remit_authority_diff	編集によって権限が拡大したかどうか
  remit_examples	完全なサンプルプログラム
  remit_run_fixtures	オフラインのテスト実行

• クイックガイド： docs/AI_GUIDE.md。

• 完全な仕様： docs/LANGUAGE_SPEC.md。

• llms.txt： site/llms.txt、および site/llms-full.txt。

Claude Code の設定例：

{ "mcpServers": { "remit": { "command": "remit", "args": ["mcp"] } } }

クイックスタート

python3 -m venv .venv && .venv/bin/pip install -e ".[mcp]" pytest pydantic
.venv/bin/python -m pytest -q tests baselines
cd examples/invoices
../../.venv/bin/remit check invoices.rmt                                   # manifest and policy check
../../.venv/bin/remit run invoices.rmt                                     # offline fixtures; stops for approval
../../.venv/bin/remit approve <digest> && ../../.venv/bin/remit resume <run-id>   # approve that exact call, continue

エビデンス

docs/BENCHMARKS.md では、Remit と、同じランタイムを使用する Python のベースラインを比較しています。そのため、ランタイムの機能が言語の功績として扱われることはありません。サンプルは小規模で、使用するモデルファミリーは 1 つのみであり、人間を対象とした試験は含まれていません。

• 安全性：
  • 安全でないプログラムの変更 17 件のうち、14 件は実行前に拒否されました。同じランタイムを使った Python では、そのうち 8 件が実行されました。
  • 安全でない変更を求められた場合、Haiku 4.5 のエージェントが実行可能な安全でないコードを提供した回数は、Remit では 0/6、Python では 6/6 でした。Sonnet 5.5 は両方の言語で拒否しました。
• レビュー： エージェントが作成した機能変更はすべて（20 件中 20 件）、権限を拡大していないことが機械的に示されました。
• 使いやすさ：
  • エージェントは、プログラムの変更（Remit では 15/15、Python では 14/15）と、仕様からの新しいワークフローの構築（両言語とも 5/5）を同等にうまく行いました。そのため、モデルが未経験の言語を使うことによる不利益はありません。
  • MCP サーバーだけを利用したエージェントは、正しいプログラムを 5/5 件構築しました。
• 復旧： クラッシュ後の再開動作は、予想どおり両方の言語で同一です。これはランタイムの特性だからです。

ステータス

Remit は初期段階のオープンソースリリースです。言語、チェッカー、ランタイム、MCP サーバー、デモ、5 つのサンプルアプリはすべて動作し、テスト済みです。まだ完成した製品ではありません。組み込みのサンドボックス機能はなく（独自の隔離環境内で実行してください）、モジュールシステム、並行処理、エディター向け言語サーバーもまだありません。今後の予定については、LANGUAGE_SPEC §13 をご覧ください。

Web サイトと MCP サーバーの独自インスタンスの実行方法については、deploy/README.md をご覧ください。

ライセンス：Apache-2.0。