MCP servers and skills: search, filter by where they run, and compare.
pyslang-mcp is a read-only Model Context Protocol server for compiler-backed Verilog and SystemVerilog analysis. It uses pyslang to parse HDL projects, report diagnostics, inspect design units and hie
PythonApache-2.0★ 21No key
The Deed programming language. Built for code that agents write and humans review.
SkillApache-2.0★ 9No key
.NET SQL Agent MCP server featuring raw SQL input, strict AST validation, and an embedded Admin UI. Eliminates LLM hallucinations and security risks across 6 major databases.
SkillApache-2.0★ 10No key
Agent skill for Verilog-2001 RTL generation and FPGA design workflows.
SkillApache-2.0★ 318No key
A 3D compiler for coding agents: a local MCP server for Claude Code and Codex. Objects, walkable worlds and games as small recipes compiled back byte-for-byte; emits Godot, Blender, STL/3MF. No accoun
Node.jsApache-2.0★ 3Few starsNo key
Thin client for the DSAIL hosted service: REST client, stdio MCP proxy, local review UI and repo scaffolding. Contains no parser, compiler or solver.
PythonApache-2.0★ 9No key
Turn grounded AI answers into trusted interactive information views for ChatGPT and Codex.
Hosted by authorApache-2.0★ 1Few starsNo key
Use this skill when the user is doing hands-on host-side DOCA PCC work to load a CUSTOM Programmable Congestion Control algorithm onto a BlueField DPU — creating per-port `doca_pcc` contexts, loading
OfficialSkillApache-2.0★ 3.6k in collectionNo key
Use this skill when the user is invoking `doca_spcx_cc` (the host-side CLI under /opt/mellanox/doca/tools/) to load, parameterize, start, observe, or stop a Programmable Congestion Control (SPCX) algo
OfficialSkillApache-2.0★ 3.6k in collectionNo key
Who stands behind it
