Skip to main content
Glama
dongsheng123132

dsh-tool-surface-proof

Related Servers

Alternatives to dsh-tool-surface-proof

No user-submitted related servers found.

    Related Servers

    • A
      license
      Not graded
      quality
      C
      maintenance
      Enables supply-chain integrity for MCP tools by locking tool-definition hashes after review and detecting added, removed, modified, or risky tool definitions.
      MIT
    • A
      license
      Not graded
      quality
      C
      maintenance
      Enables offline verification that a supplied DSH workflow adhered to declared duty-separation constraints, producing a redacted, content-addressed JSON verdict.
      MIT
    • A
      license
      Not graded
      quality
      C
      maintenance
      Lets users inspect and verify content-addressed schema migration evidence offline, checking idempotence, reversible rollback, required invariants, and explicit lossy-field disclosure without executing migrations or accessing data.
      MIT
    • A
      license
      Not graded
      quality
      C
      maintenance
      Offers proof-only tools to inspect and verify remediation closure receipts, deterministically confirming asset coverage, fixed artifact deployment, rescanning, deadline compliance, and zero-residual closure without executing scans or touching live systems.
      MIT
    • A
      license
      Not graded
      quality
      C
      maintenance
      Enables verifying that recorded build accesses stay within a declared closure by inspecting and verifying hash-only receipts, without executing builds or making network requests.
      MIT