hw-verify-mcp

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ Apache 2.0

Enables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.

mcp agent

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.