"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 2026-07-28

  Apache 2.0

• minicheck-mcp

  nickharris808

  A

  license

  -

  quality

  C

  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.

  Last updated 2026-07-28

  MIT