Axle MCP Server
未申請MCP Server for AI agents to interact with our Lean infrastructure
インストール
$
claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-serverAI & MLの他のサーバー
ディレクトリ全体を見る未申請リスティング
このMCPサーバーはあなたのものですか？
このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。
このサーバーを申請するセキュリティプロファイル
申請済みおよび認証済みのサーバーは毎週の静的スキャンを受け、コードが到達できる範囲（外部サービス、環境変数、シェルコマンド、エージェント設定フォルダ）と既知のアドバイザリを持つ依存関係が表示されます。このリスティングを申請すると利用できます。 セキュリティプロファイルの仕組み
ドキュメントに記載されたツール (4)
プロジェクトのドキュメントに基づきます。サーバーのハンドシェイクは、各ツールの説明や動作を検証するものではありません。
list_environments
List the available Lean environments.
read_docs
Read the AXLE documentation. Call with no arguments for the page index, then page="verifyproof" for one page.
read_share_url
Read back the inputs and result behind a share URL.
share_url
Turn a prior call's requestid into a permanent shareable webapp URL.