"author:nickharris808" matching MCP servers:

• pqc-migration-mcp

  nickharris808

  A

  license

  -

  quality

  C

  maintenance

  Provides six MCP tools for AI agents to compute post-quantum cryptography migration facts, such as credential sizes, fragment counts, and failure taxonomy, enabling accurate migration decisions without estimation.

  Last updated 2026-07-28

  Apache 2.0

• formal-proof-mcp

  nickharris808

  A

  license

  -

  quality

  C

  maintenance

  MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.

  Last updated 2026-07-28

  Apache 2.0

• hw-verify-mcp

  nickharris808

  A

  license

  -

  quality

  C

  maintenance

  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.

  Last updated 2026-07-28

  Apache 2.0

• certified-mcp

  nickharris808

  A

  license

  -

  quality

  B

  maintenance

  An MCP server that provides tools for certificate verification, equivalence proving, and pre-registration sealing, enabling AI agents to re-derive verdicts from artifacts rather than trust assertions.

  Last updated 2026-07-28

  Apache 2.0

• physics-lint-mcp

  nickharris808

  A

  license

  -

  quality

  B

  maintenance

  Enables AI agents to verify physical admissibility of S-parameter models and coupling matrices, preventing reasoning about impossible physics.

  Last updated 2026-07-28

  Apache 2.0