Skip to main content
Glama
85,739 servers. Updated

"author:nickharris808" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • crs-mcp

    nickharris808
    A
    license
    Not graded
    quality
    A
    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.
    Apache 2.0

  • minicheck-mcp

    nickharris808
    A
    license
    Not graded
    quality
    B
    maintenance
    A model checker as an MCP server that lets agents verify state machines with declarative specs, returning a verdict and shortest counterexample when a property fails.
    MIT