"HAL" matching MCP servers:

MCP server that wraps STM32CubeMX CLI to let AI load .ioc projects, modify pin/peripheral configurations, generate HAL code, and export pinout tables.

Enables interaction with Brilliant Labs Halo and Frame AI glasses through MCP, covering BLE pairing, display control, photo capture, IMU and audio access, Lua script deployment, and Noa Miniapp queries.

Enables AI assistants to read and control Philips Hue lights, rooms, zones, and scenes locally through the CLIP v2 API, including brightness, colors, color temperature, scene activation, and optional audio beat sync.

An MCP server providing AI-powered cybersecurity, penetration testing, reconnaissance, vulnerability assessment, and security automation tools through the Model Context Protocol.

Linux desktop HAL for AI agents. One daemon, one socket, every desktop action. GNOME, KDE, Hyprland, X11. Ships in one command.

A local MCP server for controlling an EDIFIER Halo PixelBar's ambient light, pixel screen, and hardware volume on Windows.

Enables MCP clients to run 600+ generative AI models from fal.ai, including image, video, audio, and text, with tools for synchronous and asynchronous execution, model catalog browsing, and schema inspection.

Enables MCP clients to manage Apple Music playlists end-to-end, including search, playlist creation and editing, metadata and flow auditing, track ordering optimization, and listening statistics, without an Apple Developer account.

Provides AI models with tools to proofread and format Chinese text before delivery, covering typos, punctuation, casing, spacing, and platform-specific character limits. It runs as a zero-dependency MCP service so the model checks and fixes its own Chinese writing automatically.

Enables coding agents to share a persistent local memory store across sessions and clients, saving, searching, updating, and retrieving facts, decisions, incidents, preferences, references, and snippets with semantic and lexical search.

Discovers events from Luma's public feed and subscribed calendars, with distance filtering, category search, and ICS export. No API key required for basic discovery.

Enables AI agents to reconcile ledger, PSP, and bank data, triage chargebacks, draft evidence packs, and check refund policy against contract terms while keeping all actions read-only or human-confirmed.

Agentic Hardware-in-the-Loop (Agentic HIL) lets coding agents develop firmware on real embedded boards: flash, reset, read UART and exchange CAN traffic, diagnose and fix. Local, policy-gated MCP tools support OpenOCD, pyOCD and STM32CubeProgrammer, with pytest for CI.

A self-hosted MCP server for Home Assistant that exposes full control over entity states, service calls, history, templates, and areas via local stdio, enabling AI assistants to manage your smart home.

MCP server for Home Assistant — 202 tools across 21 domains; full control of your smart home from Claude / Cursor / VS Code / any MCP client

Provides AI assistants with complete visibility into AL dependencies and symbols by exposing compiled .app files through the Model Context Protocol, enabling smart object discovery, deep code analysis, and reference tracking for Business Central development.

Enables AI assistants to solve linear, nonlinear, and integer optimization models with a locally installed LINGO 11 solver and read the results back as structured data — status, objective, variable values, reduced costs, row slacks, and dual prices. It also runs arbitrary LINGO command-window analyses, reports the detected installation and license status, and lists the bundled sample models, correctly flagging infeasible or unbounded models instead of inventing an optimum.

Enables AI agents to store, recall, reinforce, and manage local long-term memories such as preferences, procedures, facts, episodes, and traces, with fading and archiving over time. It works with MCP clients via stdio or local HTTP while keeping data on the user's machine.

Enables agents to turn a local code project into Chinese software copyright (R11) application materials: scanning candidate files, estimating page layout, and generating a 60-page source-code PDF plus application form fields, extraction lists, desensitization, and validation reports. Also provides field and environment checks and explains the formatting rules behind each output.

Enables AI assistants to interact with MyAnimeList user accounts for list management, progress tracking, and personalized anime recommendations.

Enables AI agents to analyze browser HAR network traces for slow requests with per-phase timing, failures, waterfalls, and critical paths. Masks secrets by default and can write sanitized copies for sharing.

MCP server for AL Object ID management in Microsoft Dynamics 365 Business Central development. It provides intelligent object ID allocation, collision prevention, and team collaboration features.

Lets MCP agents drive VS Code's integrated browser tab that the user shares with them: opening pages, taking accessibility snapshots and screenshots, clicking, typing, scrolling, dragging and reading console and network activity with real trusted input. It also maps a picked element back to the source file, line and column that rendered it, so an agent receives the same selection the developer clicked.

A TypeScript MCP server boilerplate providing example tools and resources for rapid development and testing of Model Context Protocol servers.

Enables AI assistants to inspect, manage, and optionally control a Home Assistant smart home, including entities, automations, dashboards, integrations, and diagnostics, with read-only and approval safeguards.

A browser automation agent that enables Claude to interact with web browsers through the Model Context Protocol, allowing for actions like navigating websites, manipulating elements, and managing browser state.

Enables interaction with the Things app through Claude Desktop, allowing task creation, project analysis, and priority management using natural language commands.

Enables goal-driven mission orchestration for Goose, turning a user goal into a structured plan with an approval gate, isolated workers in git worktrees, dual validation, auto-correction, and crash recovery to produce validated code.

Enables coding agents to drive HOL4's built-in hol lsp language server against individual SML script files, exposing proof diagnostics, goal states, evaluation, hover, definitions, symbols and completions as concise text tools. It manages server lifecycle, file syncing, proof-waiting, 1-based Unicode-aware positions, and detection of cheat usage.

Enables AI-powered image generation from text prompts using fal.ai models directly within IDEs. Supports multiple models, customizable parameters, and saves generated images locally with accessible file paths.