"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.

Provides precise decimal arithmetic and Excel-style rounding for accounting and tax calculations via MCP protocol.

Enables AI assistants to interact with HaloPSA data through secure OAuth2 authentication. Supports SQL queries against the HaloPSA database, API endpoint exploration, and direct API calls for comprehensive PSA data analysis and management.

Enables structured multi-perspective debates with Wind (explore), Wall (constrain), and Door (synthesize) roles, featuring deterministic state, hash chains, GitHub integration, and auto-orchestration for decision-making.

Enables MCP clients to search skills.sh, view leaderboards, inspect skill details, retrieve third-party security audits, and browse official curated skills, with install commands for each result.

An MCP server that enables AI agents to communicate with humans through Discord. Agents can send messages, create threads, wait for replies, and manage conversations across any MCP client.

Provides shared awareness for Claude Code sessions, allowing them to broadcast work-in-progress signals and register repos to avoid duplication across an organization.

Lets AI agents connect to your saved PostgreSQL connections over MCP, with per-connection permission levels ranging from read-only to full access. Writes can be staged for your approval, and every agent action is logged on an Agents page with a single switch to pause them all.

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.

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.

Provides AI coding agents with reliable root-cause diagnosis and minimal, high-confidence fixes for failing tests.

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.

An MCP server for parsing and analyzing HAR files, enabling AI assistants to inspect network traffic with automatic redaction of sensitive authentication headers.

Enables agents to deploy software via GitHub Actions only with a signed receipt, providing gated tools to resolve refs, list deployments/environments, and dispatch pipelines for a specific commit.

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 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 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.

HallucC — an MCP server for hallucination detection and AI agent safety. Claim-by-claim fact-checking of LLM/agent output with cited sources, a prompt-injection & jailbreak guard, and L0–L3 risk gating for computer-use (CUA) agent actions. 5 tools, 3 free checks/day, works with Claude Code, Cursor and Claude Desktop.

Enables discovery, search, generation, and management of AI models via fal.ai, allowing Claude Desktop and other MCP clients to interact with fal.ai services.

A Model Context Protocol server that connects AI CLI tools to multiple models for multi-model orchestration, conversation continuity, and collaborative workflows like code reviews and planning.

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

Enables intelligent access to AL-Go documentation, workflows, and domain expertise for Business Central development automation through specialized personas and cross-source semantic search.

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.

A mathematical expression calculator that processes user-input expressions and returns computed results, supporting basic operations and built-in constants like PI and E.

Enables administration of LibreChat through MCP, providing tools to manage Skills, Agents, scheduled tasks, Prompt library, and visibility/permissions. It also offers a generic API request tool for interacting with upstream endpoints.

MCP server wrapping Claude CLI, enabling any MCP host like Cursor to use Claude as a sub-agent with dispatch modes.