Skip to main content
Glama
59,754 servers. Last updated

"author:christian140903-sudo" matching MCP servers:

  • agent-invariants

    christian140903-sudo
    -
    license
    -
    quality
    -
    maintenance
    A deterministic behavior-compatibility layer for AI agents that checks normalized event traces against operating contracts and compares baselines with candidates to catch regressions in approval, stop, scope, recovery, and completion rules.
    Last updated

  • proofspec

    christian140903-sudo
    -
    license
    -
    quality
    -
    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.
    Last updated

  • behaviorlock

    christian140903-sudo
    -
    license
    -
    quality
    -
    maintenance
    Behaviorlock is a deterministic compatibility gate for observable AI-agent behavior, enabling comparison of baseline and candidate traces to enforce declared behavior contracts.
    Last updated

  • Postcondition

    christian140903-sudo
    -
    license
    -
    quality
    -
    maintenance
    An MCP server that checks whether the world changed after a tool call by declaring observable outcomes, verifying them with read-only verifiers, and keeping hash-chained receipts.
    Last updated