1. Conduid
  2. Security
  3. Hw Verify MCP
MCP server · Security

Hw Verify MCP

· github.com/nickharris808/hw-verify-mcp

MCP server giving AI agents a hardware constant-time, masking, and patch-completeness checker they cannot argue with

Unclaimed ai-agentsclaudeconstant-timehardware-securitymcpmodel-context-protocolverilog
InstallView source
34Low

Scored a month ago · breakdown

About Hw Verify MCP

Hw Verify MCP is an MCP server in the Security category: mCP server giving AI agents a hardware constant-time, masking, and patch-completeness checker they cannot argue with.

Install

From source
git clone https://github.com/nickharris808/hw-verify-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (12)

check_constant_timeCONSTANT_TIME or LEAKY for a Verilog module, with the reaching secrets named

Parameters not published.

check_maskingfirst-order masking verification of a gadget, by name or as a JSON netlist

Parameters not published.

check_patch_completedoes a bounds-check repair eliminate *every* violating input?

Parameters not published.

find_leakjust the localisation: which secrets reach the completion signal, and the cone size

Parameters not published.

get_benchmark_fixturethe Verilog source of one fixture, so the agent can reason about it

Parameters not published.

list_benchmark_fixturesthe ctbench matched-pair corpus, with expected verdicts

Parameters not published.

list_defect_classesthe modelled defect classes, and what a COMPLETE verdict excludes

Parameters not published.

list_masking_gadgetsthe masking corpus, and the netlist format for your own

Parameters not published.

prove_confidential**not available** — see below

Parameters not published.

replay_certificatere-check an elimination certificate using integer arithmetic, no solver

Parameters not published.

run_reference_checkerrun the bundled baseline over the whole corpus

Parameters not published.

score_benchmark_submissiongrade a set of verdicts; unsound is reported separately from imprecise

Parameters not published.

Ask AI

✦

Ask AI about Hw Verify MCP

Powered by Claude · Grounded in docs

I know everything about Hw Verify MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Hw Verify MCP

How do I install Hw Verify MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Hw Verify MCP safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Hw Verify MCP still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.