"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

Enables natural-language interaction with Ladybug Tools for building performance simulation, 3D modeling, and data visualization, allowing agents to perform complex environmental analysis tasks without CAD software.

MCP server providing deterministic, standards-traceable engineering calculations for combined-cycle power plant balance-of-plant design, such as fluid properties, pipe sizing, pump NPSH, and valve sizing, with every result including method, assumptions, and warnings.

87+ specialized tools for German and European energy data. Direct AI access to Marktstammdatenregister (MaStR), ENTSO-E, Redispatch 2.0, and Grid Operations for utilities and datacenters.

MCP server that enables Google ADK agents to triage solar fault signals, retrieve Salesforce diagnostics via hosted MCP prompt templates, and create WorkOrder records when replacements are needed.

MCP server for converting OEM energy telemetry payloads into ODS-E records and validating them via the odse Python package.

A lean Model Context Protocol (MCP) server that gives AI assistants like Claude structured access to a SolarEdge PV installation via the official SolarEdge Monitoring API.

Provides HVAC technicians with pressure-temperature lookup and reverse calculations, superheat and subcooling calculations, unit conversion, refrigerant facts, and basic diagnostic guidance for common refrigerants via MCP tools.

Enables solar energy potential assessment by converting parcel centroid and acreage into annual/monthly generation estimates using the NREL PVWatts v8 API, suitable for revenue modeling and infographic headlines.

Hourly electricity grid carbon intensity (gCO2eq/kWh) for 45 zones across Europe, the US and Great Britain, computed from ENTSO-E, EIA and NESO generation data. Four read-only tools; every value carries its interval timestamp and how stale it is. No API key, no account.

An unofficial read-only MCP server for Panasonic AiSEG2 home energy management controllers, enabling clients to read live power flow, per-circuit consumption, circuit names, daily totals, and historical energy/cost data from the device's local web interface.

Unofficial MCP server for the messdienst24.de utility portal, providing tools to retrieve heating and hot-water consumption data, download PDF reports, and compare usage trends.

An MCP server that lets an MCP client control IKEA TRÅDFRI smart plugs paired to a DIRIGERA hub via its local REST API.

Read-only MCP server for Home Assistant that computes statistical summaries, trends, and session detection from recorded sensor history, returning compact tables instead of raw data so small local models can answer questions about energy usage, climate, and appliance activity without token-heavy arithmetic.

Enables MCP clients to search Colombian energy and gas resolutions and legal opinions, read them in chunks or by internal search, and explore each rule's regulatory graph with validity computed from the texts themselves.

An MCP server for US electricity demand and weather data that provides tools, resources, and prompts to query hourly demand, daily demand, peak demand, and demand vs temperature across regions, all running locally with a bundled SQLite database.

A Model Context Protocol server that connects Claude to your own Kia vehicle through the Kia Owners API, enabling vehicle status, location, odometer, EV charge state, and confirm-gated commands for doors, climate, and charging.

Enables AI assistants to control a Homey Pro smart home hub, create automation flows from natural language, and query device and energy history.

Live and historical electricity prices, demand, generation mix and carbon intensity for 25 grid zones (US, Europe, GB, Australia). Hosted endpoint plus local stdio bridge; free sample mode, free API key, or x402 pay-per-call.

An MCP server for calculating carbon footprints from bank statements using EPA GHG emission factors.

An MCP server that exposes the U.S. Energy Information Administration (EIA) Open Data API, enabling LLMs to browse and query energy data across 17 datasets with generic, composable tools.