MCP Solver是一个通过模型上下文协议（MCP）将SAT、SMT和约束求解能力暴露给大型语言模型的服务器。

一个基于N2YO API的卫星追踪MCP服务器，提供卫星实时位置查询、轨道数据获取、过境预测等功能。

Satstream MCP服务器是一个提供比特币区块链数据API访问的模型上下文协议服务，支持查询地址、区块、交易、符文等比特币相关数据。

Satellaite的MCP服务器项目，实现了Model Context Protocol规范，用于处理模型交互，提供数据产品获取和调用功能，支持TypeScript和Zod验证，需API密钥认证。

一个用于与阿尔及利亚SATIM支付网关系统集成的MCP服务器，提供处理CIB/Edhahabia卡支付的结构化接口，支持通过SATIM-ePAY平台进行支付处理。