Skip to main content
Glama
62,559 servers. Last updated

"author:nickharris808" matching MCP servers:

  • 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
    Apache 2.0

  • crs-mcp

    nickharris808
    A
    license
    -
    quality
    C
    maintenance
    MCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.
    Last updated
    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
    Apache 2.0