MCPソルバーは、モデルコンテキストプロトコル（MCP）を通じてSAT、SMT、制約求解機能を大規模言語モデルに公開するサーバーです。

アルジェリアのSATIM支払いゲートウェイシステムと統合するためのMCPサーバーで、CIB/Edhahabiaカードの支払い処理に構造化されたインターフェイスを提供し、SATIM-ePAYプラットフォームを通じた支払い処理をサポートします。

N2YO APIに基づく衛星追跡MCPサーバーで、衛星のリアルタイム位置検索、軌道データ取得、通過予測などの機能を提供します。

Satstream MCPサーバーは、ビットコインブロックチェーンデータのAPIアクセスを提供するモデルコンテキストプロトコルサービスです。アドレス、ブロック、トランザクション、ルーンなどのビットコイン関連データの照会をサポートしています。

サテライトのMCPサーバープロジェクトは、モデルコンテキストプロトコル仕様を実装し、モデルのやり取りを処理し、データ製品の取得と呼び出し機能を提供します。TypeScriptとZod検証をサポートし、APIキーによる認証が必要です。