Axint

未申請

作者: agenticempire

Proof and repair for Apple coding agents. Validate Swift, run Xcode evidence, repair failures, and generate inspectable Apple-native capabilities.

ai-agentsapp-intentsappleapple-intelligencecode-generationcompilerdeveloper-toolsiosmacosmcpmcp-serveropen-sourceshortcutssiriswiftswiftuitypescriptvisionoswidgetkitxcode

サーバーをセットアップ

サーバーを比較マイスタック

01 / クライアントを選択

02 / 接続前の準備

認証方法は未指定です。接続前にプロジェクトの手順を確認してください。

プロジェクトが必要とする実行環境をインストールし、クライアントから利用できるようにしてください。

プロジェクトの手順環境変数名（任意）

手順に記載された名前をカンマで区切って入力してください。秘密の値は入力しないでください。

03 / 設定を追加

出典：公開インストール手順から生成

claude mcp add --transport stdio 'axint' -- 'npx' '-y' '-p' '@axint/compiler' 'axint' 'prove' '--dir' '/path/to/MyApp'

プレースホルダーを置き換えてからターミナルで実行してください。

04 / クライアントで確認

クライアントの MCP 設定で接続とツール一覧を確認してください。設定のコピーだけでは接続成功は確認できません。

AI & MLの他のサーバー

ディレクトリ全体を見る

未申請リスティング

このMCPサーバーはあなたのものですか？

このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。

このサーバーを申請する

セキュリティプロファイル

申請済みおよび認証済みのサーバーは毎週の静的スキャンを受け、コードが到達できる範囲（外部サービス、環境変数、シェルコマンド、エージェント設定フォルダ）と既知のアドバイザリを持つ依存関係が表示されます。このリスティングを申請すると利用できます。セキュリティプロファイルの仕組み

ツールの変更履歴

同じ設定での完全なチェック同士を比較します。ツールの列挙のみで実行はしていません。入力スキーマの変更は測定していません。

完全なツールチェックはまだありません。