"An explanation or exploration of reasoning" matching MCP servers:

SWMF MCP Server enables AI agents to work with the Space Weather Modeling Framework (SWMF) through tools for context, evidence, artifact inspection, and comparison. It includes task-specific skills for explanation, configuration, building, running, debugging, and analysis.

Provides AI assistants with live information about who is currently in space and the location of the ISS, using the free Open Notify API.

Maintained fork of Three-Little-Birds/openvsp-mcp, adding OpenVSP geometry inspection, typed parameter editing, SVG/STL previews, validated VSPAERO analysis, and durable parallel batches with progress, cancellation, resume, and CSV/JSON export. Independently maintained by rhyne1012; not an official OpenVSP or NASA project.

Provides deterministic computation of magnetic declination and sky positions (sun, moon, planets) for any location and time, enabling agents to get accurate ephemeris and geomagnetic data without hallucination.

Live space data for AI agents: upcoming rocket launches (SpaceX, NASA, Rocket Lab…), ISS pass predictions for any city or coordinates (live SGP4), and launch news in 7 languages. Read-only, no auth, no API key. Backed by gocosmik.com — the free real-time 3D satellite tracker.

An MCP server that lets AI agents search, save, preview, download, and cart satellite scenes from ISRO's Bhoonidhi portal in natural language, with search and saved queries requiring no login and downloads/cart operations using an out-of-band session.

Vedaksha MCP Server Astronomical ephemeris and Vedic astrology computation for AI agents via the Model Context Protocol.

Enables AI agents to autonomously write, run, and debug NASA GMAT mission scripts, with tools for script execution, curated knowledge of common pitfalls, and semantic documentation search.

Enables managing services on OpenWrt, ImmortalWrt, and systemd-based routers via SSH, with read-only service listing, status, and log queries, plus write operations (start/stop/restart) requiring confirmationional confirmation and an optional shell execution capability.

Enables configuration, diagnostics, and troubleshooting of iNAV fixed-wing flight controllers over USB via Claude.

Provides LLM access to the Event Monitoring System (EMS) API for comprehensive flight data analytics and monitoring. It enables users to query flight records, retrieve time-series analytics, and explore aircraft assets or database hierarchies.

Turns any MCP client into an OpenFOAM setup and debugging co-pilot, enabling case scaffolding, dictionary edits, mesh sizing, inlet turbulence calculations, and solver-log convergence checks through natural language.

Enables authenticated access to a pilot's flight-planning account, letting an assistant search installed airfield charts offline, pull full airfield records with pilot notes and live feedback, and list, read, or download flightplans from local disk or cloud storage.

Exposes the astrodynamics capabilities of the Brahe library enabling language models to perform space situational awareness and astrodynamics calculations.

Enables external agents to define and execute read-only derived properties over an ontology by analyzing field requests, validating link cardinality, and generating Semantic Join SQL within a three-hop neighborhood.

Enables aerodynamic analysis through XFOIL polar computations. Provides typed models and tools to run airfoil performance analyses from agents or automation workflows.

Windsock aircraft intelligence for AI agents: stdio bridge (npm windsock-mcp / PyPI windsock-mcp) to the hosted Windsock MCP server with 38 tools for aircraft valuations, FAA registry lookup, cost of ownership, comparable aircraft, ADs/STCs, market metrics, reports and logbooks.

Enables querying the NASA MAST archive of space telescopes for astronomical data, including cone searches, mission-specific queries, and target name resolution.

Generates a unique number derived from the International Space Station's current orbital location, useful for space-derived identifiers or deterministic random seeds.

Enables retrieval of satellite vegetation statistics (NDVI) and searches of Sentinel-2 scene catalogs, returning results as JSON.