開発 MCP サーバー — 24ページ目

ICAが統治する初のMCPサーバー。https://mcp.aleeth.com/mcp にあるリモートのストリーミング可能なHTTPサーバーで、37の統治されたツールを備える。すべての呼び出しは実行前にRail Guardによってリスクチェックされ、Bitcoinにアンカーされたハッシュチェーン公開台帳上で署名付きEd25519レシートが封印される。フェイルクローズ方式で、レシートがなければ応答もない。RFC 9728ディスカバリを備えたOAuth 2.0を採用し、匿名リクエストは401を受け取る。このリポジトリは公開インターフェースであり来歴記録である。ツールごとの注釈付きの生成ツールマニフェスト、ダイジェスト化された来歴付きのSBOMと脆弱性スキャン、自己検証コマンドのTRUST.mdを含む。実装は設計上プライベートである。mcp-spec-checkによる独立プローブ評価はグレードAで、2026-07-24に再検証済み。

Cookie Chainへの完全なオンチェーンアクセスをAIエージェントに提供するMCPサーバー — トレード、ローンチ、LP、ステーキング、Solanaへのブリッジが可能です。

コーディングエージェント向けのコードベースメモリ。埋め込みもAPIキーも不要。決定的なASTインデックスが「このタスクに関連するファイルはどれか」をミリ秒単位で回答し、エージェントはリポジトリに関する永続的なメモを書き、コンテンツハッシュで検証される——記述したコードが変更された瞬間、メモは自動的に古いものとしてフラグされる。メモはリポジトリ内のマークダウンとして保存されるため、コードと一緒にコミットやレビューが可能。

Visual verification browser for coding agents: daemon-based headless WebKit with snapshot, click/type, console capture, screenshots, and pixel-diff scoring. One static binary, Linux/Wayland. MCP server via `hwatu mcp` (stdio).

あなたのデバイス、プロバイダー、ワークフローを横断してAIエージェントのフリートを実行します。

エディタからAIローカライズ — アプリの文字列ファイルを46言語に翻訳し、プレースホルダー安全で再現可能な出力を実現。

任意サーバーにツール単位のRBAC、テナント分離、監査エクスポート、PIIマスキングを追加するMCPゲートウェイ。

32以上の即時開発者ツール（JSON/CSS/HTML/SQL/XMLフォーマット、Base64/URLエンコーディング、SHA-256/512ハッシュ、UUID生成、正規表現テスト、JWTデコード）をREST API経由で提供。MCP + OpenAPI対応。無料プランあり。AIエージェント向けに構築。

AIネイティブなリポジトリインテリジェンス、アーキテクチャガバナンス、そして生きたASTグラフ解析ツール。

耐量子暗号への準備：量子攻撃に脆弱なRSA/ECDSA/ECDHをコードと依存関係からスキャンし、移行を計画して、修正を検証します。

自律型AIエージェント実行のための独立したガバナンスおよび認可レイヤーであり、予算、検証、リカバリ、証拠、監査可能なレシートを備えています。

モダンなアプリ・サイト向けのセキュリティレイヤー

Cognigy.AI用MCPサーバー - Claude、Cursor、その他のAIアシスタントがModel Context Protocolを介して会話型AIエージェントを構築、設定、テスト、運用できる132のツールを備えています。

GitHub Actionsの失敗、バウンティの安全性、リポジトリエージェントの準備状況、MCPスキーマのドリフトに関する読み取り専用の有料MCP判定。

x402エンドポイントの準備状況、エージェント支払いの事前確認、マーケットプレイス発見の証拠、公開レポート、および信頼メタデータのためのMCPツール。

AIエージェント向けの静的Djangoスキーマ分析 — データベース不要・Django起動不要の読み取り専用ツール10種（モデル、リレーション、ER図、マイグレーションDAG、N+1スキャン）。

@playbykey/theoryをAIから呼び出し可能な計算式音楽理論ツールとして公開するMCPサーバーで、コード、スケール、進行、移調、MIDI/周波数変換を含みます。

コーディングエージェントに、あらゆるエラーの根本原因とすぐに適用可能な修正を提供するMCPサーバー。機械的に検証された修正を示す検証済みフラグ付き。

AIエージェント向けの有料レンダリングAPI - Base上のx402決済を介してテキストをMP4動画またはPNG画像に変換します

Shopifyテーマの最適化タスクでストアに保留中のものをClaudeやChatGPTに尋ねてください — TaskerArmy Agentアカウント用のリモートMCPサーバーです。

エージェントは主張を行う。Reelierはレシートを書き出す——エージェントのツール呼び出しワークフローを一度記録し、0トークンで決定論的に再生し、実行の差分を取ってドリフトを検出する。

自律型QA MCPで、実際のエンジニアのようにWebアプリやmacOSアプリをテストし、すべてのバグを検証します。

OpenAI互換のMCPゲートウェイで、787以上のチャット、画像、動画モデルに対応。

コーディングエージェント向けの常設レビュー層：Claude、GPT、Geminiが各回答を議論し、1つの推奨案と最も強い反対意見を返します。

コーディングエージェント向けの6つの読み取り専用意思決定ツール。GitHubバウンティの評価、エージェント指示の監査、GitHub Actionsの失敗やフレークの診断、MCPツールドリフトの検出を行う。リモートStreamable HTTP対応。

Playwright BDDテスト、GitHub Actions、Azure Pipelinesを生成し、ビジネスルールのトレーサビリティ、フォーカスされたCodeGraphコンテキスト、永続的なEngramメモリを備えています。

AIコーディングエージェントが作業を取得するイシュートラッカー：アトミックなクレーム、依存関係を考慮したディスパッチ、リース、クロスランタイムのハンドオフ。リモートMCP、33ツール。

Webサイトが何でBuiltWithされているかを調べます。

macOSのライブシステムメトリクス、リッスンポート、Claude CodeおよびCodexセッション履歴をクエリします。

xAI Grok API用のMCPサーバー — チャット、ビジョン、検索、埋め込み（Rust、stdio）