Axint

 

AI が Swift を書いたなら、マージ前にビルドできることを証明しましょう。

PR または CI パイプラインで、AI が書いた Swift を検証する証明ゲートです。

Axint はエージェントが書いた Swift をチェックし、実際の Xcode ビルドとテストを実行します。
Apple のツールと検出結果を照合し、次に行うべき具体的な修正を記した署名付きの証明を返します。
プロジェクトの書き換えは不要です。ソースコードのアップロードもありません。

プロジェクトを検証 · GitHub Actions のセットアップ · Cloud Preview を試す · エージェントを接続 · ドキュメント · サンプル · 貢献する

_{デフォルトではローカルで実行。オープンソース。通常の Swift。}

もっともらしいパッチは、証明にはなりません。

Apple のソフトウェアは、契約の集合体です。SwiftUI の状態、App Intents、Siri と Shortcuts のメタデータ、ウィジェット、エンタイトルメント、プライバシー宣言、並行処理、 ビルド設定、テスト、実行時の動作は、すべて整合している必要があります。正しく 見えるコードでも、コンパイルに失敗したり、操作が抜けていたり、プラットフォームの 契約に違反したりすることがあります。

Axint は静的解析と Apple のツールをひとつの修正ループにまとめます。静的チェックで 問題の手がかりを特定し、Xcode のビルドとテストの出力でそれを確認、補足、または 抑制できます。結果は次のエージェントのターンで扱えるよう簡潔に保ちつつ、詳細な ログと成果物はディスク上に残します。

証拠の分類	意味
確認済み	決定的な解析、またはコンパイラ、ビルド、テストの一致する証拠が検出結果を裏付けています。
可能性が高い	強い静的証拠によって問題の可能性が高いと判断されていますが、決め手となる Apple ツールの証拠が不十分です。
参考情報	ヒューリスティックにより、品質、アクセシビリティ、プライバシー、操作性、デザイン、または実行時に関する確認事項が特定されています。
抑制済み	より強い証拠、またはプロジェクト内でのレビューが検出結果に反しているため、その結果は証明書に残りますが、判定を妨げません。

既存のプロジェクトを検証する

npx -y -p @axint/compiler axint prove --dir /path/to/MyApp

Axint は Xcode プロジェクトとスキームを検出し、既存の Swift をチェックして、利用可能なビルドとテストを実行し、結果を照合して、.axint/proof に検証結果を保存します。

デフォルトのローカル実行では、アカウントも設定も必要ありません。Swift の変更、ソースのアップロード、プロジェクトへの手順のインストール、メモリや MCP の設定のインストール、修正の適用、プロジェクトの書き換えは行いません。

失敗への対応に次のターンが必要な場合、Axint は 修正パケットを返します。これは、検出内容、該当する可能性の高いファイル、次に行うべき操作、再実行コマンドをまとめた簡潔な修復用アーティファクトです。また、プロジェクトのソースを含まず、証拠、結果、ハッシュ、修復情報を含む署名済みの検証ファイルであるソースを含まないレシートも書き出します。

axint prove --dir /path/to/MyApp --fix
axint receipt verify /path/to/MyApp/.axint/proof/latest.proof.json

--fix を指定すると、サポート対象の決定論的な書き換えが有効になり、検証ループが再実行されます。レシートの検証では、ペイロードの整合性と埋め込まれた Ed25519 署名者をチェックします。CI または受信側のチームが署名者のフィンガープリントや管理対象の署名鍵を固定しない限り、ローカルで署名されたレシートは、外部から信頼された本人確認にはなりません。

プルリクエストで使用する

Xcode を搭載した macOS ランナーで axint prove を実行します。スターターワークフローと署名済みレシートの出力については、GitHub Actions の設定を参照してください。合格と判定するには、実際の Apple ツールによる証拠が必要です。テストがない場合やビルドを利用できない場合、それを検証済みとして黙って報告することはありません。

ひとつの検証契約

Generate、Check、Run、Team、Cloud は、同じ契約への異なるエントリーポイントです。その契約には、判定、証拠、検出内容、次のアクション、アーティファクトのパスが含まれます。

モード	検証ループにおける役割
Check	生成済みまたは既存の Swift を、証拠を考慮した診断と適切な判定保留により検証します。
Run	ローカルまたは独自の Mac ランナーで、再開可能なビルド、テスト、ランタイム、.xcresult の証拠を調整します。
Generate	小規模な契約を、確認可能な App Intents、SwiftUI ビュー、ウィジェット、Live Activities、アプリシェル、メタデータ、テストにコンパイルします。
Team	エージェント間で、プロジェクトのコンテキスト、セッション、ファイルの担当、修正パケット、引き継ぎを保持します。
Cloud	ローカルの Apple ツールを利用できない場合に、ホストされたチェックを実行し、共有の検証履歴を保持します。

役立つ場合は生成する

既存プロジェクトで生成は任意です。機能を小規模な契約として記述するほうが簡単な場合、Axint は通常の Swift と、選択した Apple サーフェスに必要な付随メタデータを出力できます。

import { defineIntent, param } from "@axint/compiler";

export default defineIntent({
  name: "CreateCalendarEvent",
  title: "Create Calendar Event",
  description: "Creates a calendar event for the user.",
  domain: "productivity",
  params: {
    title: param.string("Event title"),
    date: param.date("Event date"),
    duration: param.duration("Event duration"),
    location: param.string("Location", { required: false }),
  },
  perform: async ({ title, date }) => ({
    success: true,
    message: `Created ${title} on ${date}`,
  }),
});

axint compile create-calendar-event.ts --out ios/Intents/

TypeScript、Python、JSON IR、実験的な .axint オーサリングサーフェスは、確認可能な Apple ネイティブの出力に変換されます。TypeScript パイプラインは、ビュー、ウィジェット、アプリ、Live Activities、App Enums、UnionValue スキーマ、App Shortcuts、拡張機能のスキャフォールドにも対応しています。各サーフェスの実装と検証の範囲については、対応範囲マップを参照してください。

エージェントを接続する

Axint は、標準に準拠したホスト向けに MCP サーバーを提供しています。

{
  "mcpServers": {
    "axint": {
      "command": "npx",
      "args": ["-y", "-p", "@axint/compiler", "axint-mcp"]
    }
  }
}

新しいツールセッションを開始し、axint.status と axint.activate を呼び出して、サーバーとコンパイラーが接続されていることを確認してください。

ホストされたエンドポイント https://mcp.axint.ai/mcp は、従来の MCP クライアントと現在のステートレスプロトコル世代の両方をサポートしています。互換性は公式 SDK クライアントを使用して継続的に確認されています。詳しくは、プロトコル互換性契約をご覧ください。

エージェント間で永続的な作業を委任するオーケストレーター向けに、Axint は認証機能を備えた A2A サーバーも提供しています。MCP は個々のツールを公開し、A2A はステータス、ストリーミング更新、キャンセル、ソースを含まない結果アーティファクトとともに、チェック、診断、証明、修復計画のタスク全体を公開します。

npx -y -p @axint/compiler axint-a2a --project-root /path/to/MyApp

エージェントカードは /.well-known/agent-card.json で提供されます。ループバックでの使用にはセットアップは不要です。デフォルトでは、ループバック以外のデプロイメントではベアラー認証が必要です。

MCP ツールとプロンプトの一覧

開始、復旧、確認

axint.status · axint.activate · axint.upgrade · axint.doctor · axint.session.start · axint.context.memory · axint.context.docs · axint.workflow.check

生成と検索

axint.feature · axint.project.pack · axint.project.index · axint.project.syncVersion · axint.suggest · axint.registry.search · axint.scaffold · axint.compile · axint.validate · axint.tokens.ingest · axint.schema.compile · axint.templates.list · axint.templates.get

チェックと修復

axint.xcode.guard · axint.xcode.write · axint.fix-packet · axint.cloud.check · axint.repair · axint.feedback.create · axint.swift.validate · axint.swift.fix

調整と実行

axint.agent.install · axint.agent.advice · axint.agent.claim · axint.agent.release · axint.run · axint.run.status · axint.run.cancel

組み込みプロンプト

axint.quick-start · axint.project-start · axint.context-recovery · axint.create-widget · axint.create-intent

公開されている証明

• 最新の製品メトリクスは、コードベースから再生成されます。
• 実際に CI でゲートされるブラウンフィールドベンチマークでは、精度、再現率、棄権のケースをラベル付きで公開しています。
• カバレッジでは、サポート対象の領域と実装、テスト、証明の境界を対応付けています。
• Apple プラットフォームの互換性では、現在の Xcode、Swift、Siri、App Intents、Foundation Models、SwiftUI、UIKit、App Store の変更を、実装済みのチェックとカナリアに照らして追跡しています。
• アクセシビリティラベルの証明では、一般的なタスクに関するアクセシビリティの証拠を、レビュー可能な App Store 対応レポートにまとめています。
• MCP 互換性では、ホストされたサーバーの新旧両世代のトランスポート契約と検証手順を説明しています。
• A2Aでは、永続的なエージェント間の証明委任、認証、タスク分離、ローカル実行の境界について説明しています。
• アーキテクチャでは、コンパイラー、証明、MCP、A2A、Python、ランタイムの境界について説明しています。
• リリースノートには、リリースされた動作と互換性の変更が記録されています。
• セキュリティでは、報告方法、サポート対象リリース、テレメトリー、依存関係のポリシーについて説明しています。

エコシステム

提供先	用途
npm	CLI、TypeScript SDK、コンパイラー、証明ランタイム、MCP サーバー、A2A サーバー
PyPI	ネイティブな Python による作成、検証、生成、および特化した MCP インターフェイス
Cloud Preview	どのオペレーティングシステムからでも、リモートの証明と macOS ビルドのワークフローを試せます
Examples	App Intent、SwiftUI、WidgetKit のコンパクトな生成例を確認できます
Editor integrations	Xcode、VS Code、Cursor、JetBrains、Neovim、その他のホストに接続します

貢献する

特に価値の高い貢献は、既存プロジェクトの精度、Xcode の証拠、修復品質、Apple API のカバレッジ、再現可能な例を改善することです。

• good first issueから始めてください。
• help wantedの課題に取り組んでください。
• 貢献ガイドをお読みください。
• Discussionsで質問や提案をしたり、作業内容を共有したりしてください。

要件とライセンス

JavaScript パッケージは、package.jsonで宣言されている Node.js エンジンに準拠します。Swift の生成は、Node が動作するあらゆる環境で実行できます。Xcode によるビルド、テスト、シミュレーター、およびランタイム証明には、互換性のある Xcode ツールチェーンを備えた macOS が必要です。

Axint はApache-2.0 ライセンスで提供されています。フォークして拡張し、活用してください。Axint の名称とビジュアルアイデンティティは保護されています。NOTICEとTRADEMARKS.mdをご確認ください。