Related Servers

No user-submitted related servers found.

Related Servers

• VisionMCP

  joshuahickscorp

  F

  license

  B

  quality

  B

  maintenance

  A visual compiler and verifier for coding agents that turns rendered evidence into inspectable visual programs with tamper-evident receipts.

  Updated 25 days ago (2026-07-30 02:06 UTC)

  15

• Proof Layer MCP

  World-999-Labs

  A

  license

  -Not graded

  quality

  D

  maintenance

  Provides cryptographic governance receipts for AI agents, enabling pre-execution evaluation and signed verdicts (EXECUTE/BLOCK/REVIEW/SHADOW) with offline-verifiable audit trails.

  Updated 4 months ago (2026-05-03 23:16 UTC)

  MIT

• Decapod Intent Kernel

  clauxel

  F

  license

  -Not graded

  quality

  B

  maintenance

  Enables AI agents to create intent contracts, check boundaries, record completions, and export receipts for structured agent workflows

  Updated 3 months ago (2026-05-27 16:09 UTC)

• dingdawg-governance

  dingdawg

  A

  license

  A

  quality

  B

  maintenance

  Universal governance layer for AI agents — MCP-native, fail-closed, LNN interpretability. Governed receipts, IPFS audit proofs, and rollback for any agent in any framework.

  Updated 17 days ago (2026-08-06 18:50 UTC)

  3

  98

  Apache 2.0

• edict-lang

  Sowiedu

  A

  license

  C

  quality

  B

  maintenance

  Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

  Updated 9 days ago (2026-08-15 07:33 UTC)

  22

  106

  10

  MIT

• Trust Gate MCP

  CWNApps

  A

  license

  A

  quality

  A

  maintenance

  Post-quantum, tamper-evident receipts for consequential agent actions. Provides tools for auditing, gating decisions, and egress classification with quantum-hardened security.

  Updated a month ago (2026-07-29 15:38 UTC)

  7

  Apache 2.0