MCP Solver is a server that exposes SAT, SMT, and constraint - solving capabilities to large language models through the Model Context Protocol (MCP).

MCP-ORTools is a constraint solving service implementation based on Google OR-Tools. It integrates with large language models through a standardized constraint model specification and supports the solving of constraint satisfaction and optimization problems.

An MCP tool for NASA data query, providing NASA data services such as astronomical pictures, Mars photos, satellite images, near - Earth objects, and space weather.

A satirical HR tool server built on fastMCP, providing dystopian - style human resource management functions for companies

The MCP server project of Satellite, which implements the Model Context Protocol specification, is used for handling model interactions, providing functions for data product retrieval and invocation, supporting TypeScript and Zod validation, and requiring API key authentication.

A satellite tracking MCP server based on the N2YO API, providing functions such as real - time satellite position query, orbital data acquisition, and transit prediction.

An MCP server for integrating with the SATIM payment gateway system in Algeria, providing a structured interface for processing CIB/Edhahabia card payments and supporting payment processing through the SATIM - ePAY platform.

The N2YO Satellite Tracking MCP Server provides satellite orbit data, position tracking, and transit prediction services, supporting natural language queries and multi-category filtering.

Axion-MCP is an enterprise-level geospatial analysis platform based on Google Earth Engine. It transforms Claude Desktop into a powerful remote sensing data processing workstation through the MCP protocol, providing advanced functions such as satellite data access, vegetation index calculation, disaster risk assessment, and crop classification

Gurddy MCP Server is a comprehensive constraint solving and optimization platform based on the gurddy optimization library. It supports constraint satisfaction problems, linear programming, Minimax game theory, and advanced SciPy optimization, provides 16 solving tools, and serves IDE and web clients through two MCP transport protocols: Stdio and HTTP.

The Satstream MCP server is a Model Context Protocol service that provides API access to Bitcoin blockchain data, supporting queries for Bitcoin-related data such as addresses, blocks, transactions, and Runes.

Data On Tap Inc. is a Full MVNO operating the 302 100 network in Canada. This project includes innovative features such as advanced security authentication, intelligent network tools, eSIM/iSIM technology, and direct satellite connection, and is built based on OpenAPI 3.1 and the MCP server.