MCP Solver是一個通過模型上下文協議（MCP）將SAT、SMT和約束求解能力暴露給大型語言模型的服務器。

Satstream MCP服務器是一個提供比特幣區塊鏈數據API訪問的模型上下文協議服務，支持查詢地址、區塊、交易、符文等比特幣相關數據。

一個基於N2YO API的衛星追蹤MCP服務器，提供衛星即時位置查詢、軌道數據獲取、過境預測等功能。

Satellaite的MCP服務器項目，實現了Model Context Protocol規範，用於處理模型交互，提供數據產品獲取和調用功能，支持TypeScript和Zod驗證，需API密鑰認證。

一個用於與阿爾及利亞SATIM支付網關係統集成的MCP服務器，提供處理CIB/Edhahabia卡支付的結構化接口，支持通過SATIM-ePAY平臺進行支付處理。