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

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

MCP server that translates natural language commands into SCARA robot arm control instructions, featuring simulation mode, safety validation, and multiple transport modes (STDIO/HTTP/OAuth).

Enables AI agents to program MicroPython boards such as Raspberry Pi Pico and ESP32 through Thonny, with visible shell commands and optional human approval.

Enables AI assistants to control Saleae Logic analyzers, capture and analyze digital/analog signals, and export data via MCP.

Provides read-only MCP tools for parsing KiCad netlists and schematics, running evidence-based audits, and generating deterministic sizing and BOMs.

Enables AI clients to compile and upload Arduino sketches, manage boards, cores, and libraries via arduino-cli, scaffold projects, and read serial output over stdio.

MCP server for inspecting PX4 ULog flight logs, enabling AI assistants to understand, debug, and reason about drone systems.

Runs a Model Context Protocol server directly on Axis cameras, enabling any MCP-capable AI to inspect and control the camera without cloud or middleware.

MCP server providing embedded engineering calculators and code generators as tools for AI agents, enabling precise, deterministic embedded math and C code generation.

Enables LLMs to interact with embedded devices by reading and writing Segger RTT data through a J-Link debugger.

Enables AI agents to turn natural-language hardware prompts into deterministic schematics and netlists, query live LCSC parts data, validate designs, calculate trace impedance, and estimate PCBA BOM costs through stdio MCP tools and resources.

A professional MCP server for serial port communication, enabling AI assistants to list, connect, send/receive data, and manage serial connections with embedded systems, IoT devices, and hardware debugging hardware.

Enables GDB debugging for embedded development workflows, allowing users to start sessions, load programs, set breakpoints, step through code, and examine memory/registers/variables via natural language.

MCP server for embedded debugging based on probe-rs, providing 22 tools for ARM Cortex-M and RISC-V microcontrollers, including connection, memory operations, breakpoints, flash programming, and RTT communication.

Enables users to manage Android ROM projects through MCP by importing, unpacking, repacking, and synthesizing images, DAT/BR files, and super partitions using the toolkit’s shared workflows.

Enables agents to turn a plain-language description of a device into a complete, validated build package — parts list, 3D-printable parts, wiring, firmware code, picture assembly guide, and tests — that anyone can assemble without electronics experience.

An MCP server that exposes five tools for generating verified electronic circuit documentation, including netlist verification, component lookup, and generation of schematics, boards, and renders.

MCP server for the JDS6600 signal generator, enabling vintage tape recorder calibration via auto-detection and advanced waveform controls.

Provides AI agents with instant, structured access to electronic component datasheets, pinouts, and electrical specifications without requiring PDF uploads. It enables seamless part searching, design validation, and side-by-side component comparisons across major hardware providers.

An MCP server that lets an AI assistant manage your Keenetic router in plain language — list connected devices, pin static DHCP leases, rename devices, check WAN status, and reboot.