Skip to main content
Glama
nickharris808

minicheck-mcp

by nickharris808
OverviewSchemaRelated ServersScoreDiscussions
Python
Remote

Related Servers

Alternatives to minicheck-mcp

No user-submitted related servers found.

    Related Servers

    • jacobian

      morluto
      A
      license
      A
      quality
      A
      maintenance
      An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
      2
      57
      MIT

    • velvet-rope

      paulchum
      A
      license
      Not graded
      quality
      B
      maintenance
      An MCP server for agent authorization that tests the full effect surface and enforces control over consequential actions before dispatch, emitting verifiable execution evidence.
      1
      Apache 2.0

    • formal-proof-mcp

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

    • agent-gate

      Jott2121
      A
      license
      B
      quality
      A
      maintenance
      An MCP server that enforces fail-closed deterministic checks, independent refute-first review, and tamper-evident hash-chained receipts for AI agent outputs before claiming completion.
      4
      3
      MIT

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/nickharris808/minicheck-mcp'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server