"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 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