A
licenseNot graded
qualityD
maintenanceRuntime safety guardrails for AI coding agents. Checks file access, validates shell commands, and scores your repo's AI safety — all via MCP.
5 npm
8
MIT
mcp-tacit
by lampepfl
Related Servers
Alternatives to mcp-tacit
No user-submitted related servers found.
Related Servers
- AlicenseAqualityAmaintenanceLeast-privilege compiler and MCP gateway for AI agents: run your agent in record-only mode, compile the smallest policy it actually needs from its real tool calls, enforce it at the gateway (deny > approve > allow), and keep a SHA-256 hash-chained audit of every call that verifies offline.14110 npm1Apache 2.0
- AlicenseAqualityAmaintenanceSigned, delegable permissions for AI agents that become the WebAssembly sandbox of each tool call, with a signed, hash-chained receipt per call that anyone can replay. Taint follows the delegation chain to contain prompt injection.4Apache 2.0
- AlicenseNot gradedqualityAmaintenanceLocal security layer for AI coding agents: MCP policy proxy, kernel sandbox, tamper-evident audit logMIT
- AlicenseCqualityBmaintenanceAgent-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.2292 npm13MIT
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to operate through a local, signed boundary that blocks prompt injection and secret leakage, verifies outputs, preserves cross-session memory, and provides offline-verifiable receipts. It also exposes 900+ MCP tools for discoverable agent actions.7MIT
This server cannot be deployed
Maintenance
ActivityMaintained
ResponsivenessResponsive