"Enhanced MCP-Reasoner with Monte Carlo Tree Search and Beam Search Integration" matching MCP servers:

Enables AI assistants to compile, upload, and monitor Arduino boards via natural language, with electrical safety checks and dependency management.

Provides offline access to complete Garmin Connect IQ SDK 8.2.3 documentation with enhanced search, device reference, programming guides, and FAQ for AI assistants.

MCP server for running shell commands on a Linux development board via UART serial.

Enables agents to query LAVA board farms, submit and manage test jobs, and open interactive board sessions via the LAVA REST API.

An MCP server for Nordic nRF Connect SDK development that enables users to list, read, and search documentation and sample code from the nrfconnect/sdk-nrf repository. It provides Claude with specialized tools to navigate SDK resources, source files, and configuration examples directly through the GitHub API.

This MCP server acts as a local stdio proxy for whatic.io's remote IC-discovery server, enabling MCP clients to search electronic components and retrieve part specs, comparisons, and images.

MCP server that gives Claude Code full control over the CrossPad development workflow — build, test, manage app packages, interact with the simulator, search code across repos — all from natural language.

An MCP server for the Pebble smartwatch ecosystem, offering appstore search, a 64-color design toolkit, and build-emulator-screenshot development workflows as typed tools.

Local, read-only MCP server for inspecting DBC files and decoding CAN capture logs, with bounded and composable tools.

Exposes tools for AI assistants to query a persistent SQLite+FTS5 index of C/C++ symbols parsed from real build commands, enabling sub-millisecond lookup, full-text search, and natural-language explanation without hallucination.

MCP server enabling AI agents to search FTC SDK samples, scaffold OpModes, build and deploy TeamCode to REV Control Hub, and read robot logs for a full code-robot-debug loop.

Enables analysis of KiCad electronic schematics through natural language queries to search components, trace signal paths, explore connections, and analyze multi-board systems.

A deterministic MCP server for BitBake and Yocto that allows users to search, scan, and parse recipe files. It enables the extraction of raw variable assignments from .bb and .bbappend files without performing variable evaluation.

MCP server for Beckhoff TwinCAT XAE / TE1000 Automation Interface, enabling control of XAE Shell, TwinCAT tree manipulation, PLC operations, and build actions via natural language.

Enables search and management of Renesas FSP documentation, code examples, API references, and dependencies for RA MCU development.

Enables LLM control of Moku devices through network discovery, connection management, configuration deployment, and signal routing. Supports graceful ownership handoff between different interfaces (CLI, iPad, LLM) for seamless workflow integration.

Enables reading and configuring an Unfolded Circle Remote Two or Remote 3 through the official Core REST API, exposing activities, touchscreen pages, profiles, integration entities, and physical-button mappings to MCP clients.

Provides tools to search and retrieve LILYGO hardware documentation, including product listings, full specs, and sectioned guides, with live fetching from GitHub.

Provides AI assistants with tools for Arm architecture development, migration, and optimization, including knowledge base search, code migration analysis, container inspection, assembly performance analysis, and workload performance testing.

MCP server that provides semantic search and documentation for STM32 microcontrollers, with specialized agents and slash commands for embedded development assistance.