Skip to main content
Glama
dongsheng123132

dsh-schema-migration-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

Related Servers

Alternatives to dsh-schema-migration-proof

No user-submitted related servers found.

    Related Servers

    • dsh-vulnerability-remediation

      dongsheng123132
      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

    • dsh-artifact-promotion-proof

      dongsheng123132
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables offline, deterministic verification that one immutable artifact followed a declared build-to-production promotion chain, using only hash-based evidence and failing closed on incomplete or nonconformant gate records.
      MIT

    • dsh-duty-separation-proof

      dongsheng123132
      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

    • proofspec

      christian140903-sudo
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.
      10
      MIT

    This server cannot be deployed

    RayrunBuild, deploy, and operate MCP servers without becoming an infrastructure team.ray.runAd

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources