Skip to main content
Glama
72,476 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • HLORO-AI

    HBConline
    F
    license
    A
    quality
    B
    maintenance
    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).
    14

  • embedcalc-mcp

    ethan-hub26
    A
    license
    A
    quality
    B
    maintenance
    MCP server providing embedded engineering calculators and code generators as tools for AI agents, enabling precise, deterministic embedded math and C code generation.
    29
    208
    MIT

  • embedded-serial-mcp

    vividcode-ai
    A
    license
    -
    quality
    C
    maintenance
    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.
    1
    MIT

  • embedded-gdb-mcp

    vividcode-ai
    A
    license
    -
    quality
    C
    maintenance
    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.
    3
    MIT

  • Embedded xLink MCP

    vividcode-ai
    A
    license
    -
    quality
    C
    maintenance
    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.
    2
    MIT

  • motor

    programadores-obreros
    A
    license
    -
    quality
    A
    maintenance
    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.
    MIT

  • jds6600-mcp

    csibug
    A
    license
    -
    quality
    D
    maintenance
    MCP server for the JDS6600 signal generator, enabling vintage tape recorder calibration via auto-detection and advanced waveform controls.
    MIT

  • mcp-serial-bridge

    46nori
    A
    license
    A
    quality
    D
    maintenance
    Enables AI agents to control serial port devices (modems, instruments, embedded boards) via MCP tools for listing ports, connecting, and sending/receiving commands.
    3
    1
    MIT

  • mcp-svd

    pkt-lab
    F
    license
    A
    quality
    D
    maintenance
    An MCP server that provides AI coding assistants with access to official ARM CMSIS SVD hardware register definitions for microcontrollers. It enables precise querying of register names, bit positions, and addresses to prevent hallucinations during embedded systems development.
    4
    1

  • silotek-serial-mcp

    JOCOIN94
    F
    license
    A
    quality
    B
    maintenance
    A headless MCP server that enables AI tools (like Claude Code) to read and analyze serial logs from embedded boards (ESP32, STM32) for firmware debugging, with read-only tools for log retrieval and a built-in web viewer.
    6
  • ak-mcp by the-ak-foundation

    ak-mcpofficial

    the-ak-foundation
    A
    license
    A
    quality
    A
    maintenance
    Provides AI coding tools with queryable documentation for the AK (Active Kernel) event-driven MCU framework, including API signatures, guides, and guardrails.
    8
    Apache 2.0
  • canforge-mcp by canforge

    canforge-mcpofficial

    canforge
    A
    license
    A
    quality
    B
    maintenance
    Local, read-only MCP server for inspecting DBC files and decoding CAN capture logs, with bounded and composable tools.
    13
    MIT

  • vHal MCP Server

    feevlic
    A
    license
    A
    quality
    D
    maintenance
    Enables Android Automotive developers to explore and implement Vehicle Hardware Abstraction Layer (vHAL) properties with intelligent tools for property analysis, source code lookup, implementation guidance, and automated code generation for automotive systems like climate control and seat management.
    8
    1
    MIT

  • ros-mcp

    husain-zaidi
    A
    license
    A
    quality
    D
    maintenance
    A Model Context Protocol (MCP) server for ROS 2 that enables GitHub Copilot and other AI agents to interact with ROS 2 systems. This server provides tools for monitoring, debugging, and managing ROS 2 nodes, topics, services, and TF2 frames.
    15
    48
    MIT