Related Servers

No user-submitted related servers found.

Related Servers

• repo-seatbelt

  berkcangumusisik

  A

  license

  -Not graded

  quality

  C

  maintenance

  Runtime safety guardrails for AI coding agents. Checks file access, validates shell commands, and scores your repo's AI safety — all via MCP.

  Updated 3 months ago (2026-05-31 10:32 UTC)

  5

  8

  MIT

• 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 3 days ago (2026-08-29 07:33 UTC)

  22

  123

  11

  MIT

• agent-guardrail

  ss1738

  A

  license

  -Not graded

  quality

  A

  maintenance

  A runtime gate for coding agents. Blocks the tool calls that wreck a repo (force-push main, rm -rf, secret exfiltration, CI wipe) and lets normal build and commit work through. Machine-checked git-branch core (z3); the rest is high-precision heuristics. Tested on 3,790 real CI commands, 0 false blocks.

  Updated 20 days ago (2026-08-12 14:54 UTC)

  MIT

• Hyperstack

  orkait

  F

  license

  B

  quality

  A

  maintenance

  A disciplined engineering harness for AI coding agents that provides ground-truth MCP tools and adversarial enforcement skills to transform generic LLMs into high-precision engineers.

  Updated a month ago (2026-07-22 07:19 UTC)

  100

  1

• Maple

  alnosarus

  F

  license

  -Not graded

  quality

  D

  maintenance

  A unified MCP server providing observability, safety control, and behavior evolution for high-agency AI agents through tracing, replaying, and auditing. It features real-time firewall guardrails and ML-driven anomaly detection to monitor, block, or fork agent actions based on risk.

  Updated 6 months ago (2026-02-22 01:46 UTC)

  7

• osmcp

  KrushnaVardhanReddy

  A

  license

  -Not graded

  quality

  -Not graded

  maintenance

  A typed, policy-controlled OS capability layer for AI agents via MCP, exposing safe filesystem, git, and text-processing tools governed by a strict policy engine.

  Updated 16 days ago (2026-08-16 01:16 UTC)

  MIT