Related Servers

No user-submitted related servers found.

Related Servers

• behaviorlock

  christian140903-sudo

  A

  license

  A

  quality

  B

  maintenance

  Behaviorlock is a deterministic compatibility gate for observable AI-agent behavior, enabling comparison of baseline and candidate traces to enforce declared behavior contracts.

  Updated 2 months ago (2026-07-17 22:44 UTC)

  5

  MIT

• staysfixed

  asadev

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables AI agents to prove that previously working behavior still works after code changes by running the product through the same steps twice and surfacing only unintended differences as actionable findings.

  Updated 6 days ago (2026-09-01 23:04 UTC)

  1,705

  MIT

• nobulex-mcp-server

  arian-gogani

  A

  license

  A

  quality

  A

  maintenance

  Proof-of-behavior enforcement for AI agents. Declare behavioral constraints, enforce at runtime, produce SHA-256 hash-chained audit trails. Supports covenants (permit/forbid/require), real-time verification, and cross-agent trust handshakes.

  Updated a month ago (2026-08-03 22:50 UTC)

  4

  39

  MIT

• Norma MCP Server

  qualityclouds

  A

  license

  -Not graded

  quality

  B

  maintenance

  Deterministic AI code review with audit records, providing stack-specific rulesets and governance for coding agents.

  Updated 7 days ago (2026-08-31 11:14 UTC)

  1

  MIT

• TruthGate

  ay7627514-dotcom

  A

  license

  C

  quality

  B

  maintenance

  A fail-closed preflight, approval, evidence, and verification runtime for agents, preventing unsupported output from being treated as verified completion.

  Updated a month ago (2026-07-28 18:37 UTC)

  3

  MIT

• agentseed

  Morningstar202604

  A

  license

  -Not graded

  quality

  A

  maintenance

  Enables AI coding agents to enforce spec-driven development and verify code before it is marked done, using six tools that catch invented APIs, scan for hallucinated content, check plugin conformance, sandbox-run tests, validate schemas, and record audit evidence.

  Updated 2 days ago (2026-09-05 21:44 UTC)

  590

  7

  PolyForm Noncommercial 1.0.0