"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

Exposes EnergyPlus simulation control (run, parse metrics, edit schedules) as LLM tools for autonomous building energy optimization.

Carbon-aware MCP scheduler that defers "do it later" / "by tomorrow" / "overnight" LLM tasks to the cleanest electricity-grid hour inside a deadline — 40-70% lower CO2 per task, 50% cheaper via Anthropic/OpenAI Batch APIs. 9 MCP tools, per-task carbon receipts to local SQLite, Apache-2.0.

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.

MCP server that provides live facility data access and operational tools, enabling the AI agent to query sensor readings, HVAC status, energy usage, alerts, and execute confirmed maintenance actions.

Enables full-text search and retrieval of Finnish energy regulations from four regulators: Energiavirasto, Fingrid, TEM, and Tukes.

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.

Generates and verifies zero-knowledge proofs locally for Energy Web Verified Compute, keeping private meter readings and blinding salts on the user's machine while enabling agents to submit verifiable proof packages.

Enables Claude to size batteries, wire gauges, and fuses for 12V-48V electrical systems in boats, vans, and off-grid builds, and generates complete wiring diagrams as SVG or PNG.

Connect AI assistants to Victron Energy systems to read real-time solar, battery, grid, and inverter data from your local network via Modbus TCP or MQTT.

Provides AI agents with read access to Trane Tracer SC+ building automation systems for inventory and telemetry retrieval.

Enables generating yearly active and reactive power load time series for pandapower grids from German BDEW standard load profiles, with assignment of load categories, stochastic noise, scenarios, run manifests, plotting and time-series power flow. Also exposes run inspection, regeneration and verification so tool-calling LLM clients can produce and cite reproducible, checksummed results.

Enables AI assistants to monitor and control Tesla Powerwall 2 systems via local gateway API.

Read-only MCP server integrating with the Victron VRM API to monitor solar systems, batteries, alarms, and more.

Connects AI agents to energy infrastructure with 30+ tools for managing sites, assets, dispatch, settlements, compliance, and carbon tracking.

Connects Claude with the Tesla Owner API, enabling authentication and data retrieval for Tesla vehicles and solar systems.

MCP server providing tools for AI-agents to interact with Enapter EMS.

A local MCP server that enables building energy analysis through tools for anomaly detection, flexible-load schedule optimization, and battery/solar outage-autonomy simulation using reproducible synthetic data.

Gives Claude, Cursor, VS Code and other MCP clients safe, structured access to an OpenSolar organisation's projects, contacts, systems, files, commercial settings and Teams sharing via the documented OpenSolar API. Runs self-hosted with your own bearer token, offering curated tools for searching, summarising, comparing, updating and sharing solar project data.

Enables Alexa+ to answer spoken questions about a home's energy use and act on them through seven voice-first tools, covering live device status, usage and cost reports, waste detection, savings recommendations, automation listing, device control, and confirmed energy-plan application.