Skip to main content
Glama
62,523 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

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