Skip to main content
Glama

Related Servers

Alternatives to mcp-tacit

No user-submitted related servers found.

    Related Servers

    • A
      license
      A
      quality
      A
      maintenance
      Least-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.
      14
      181 npm
      1
      Apache 2.0
    • 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.
      22
      84 npm
      13
      MIT
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables 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.
      7
      MIT
    • A
      license
      Not graded
      quality
      D
      maintenance
      Enables LLM agents to inspect multi-modal IoT telemetry and query safety policies, then dispatch actuator commands through typed MCP tools that enforce deterministic safety interlocks and record a tamper-evident SHA-256 chained audit trail. This lets automated agents control building hardware without violating safety invariants, while rejecting cross-sensor false alarms and cutting redundant telemetry and token usage.
      MIT