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

"author:nickharris808" matching MCP servers:

  • 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