Skip to main content
Glama
101,254 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

  • A
    license
    Not graded
    quality
    C
    maintenance
    Enables AI agents to be governed by formal Gentzen sequent calculus proof trees, with human-in-the-loop approval gates and cryptographic audit trails for consequential actions.
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Local stdio credential broker that securely stores Nanoseil Identity API keys and forwards MCP JSON-RPC to allowed production endpoints, keeping credentials out of client configuration.
    3 npm
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    An MCP server that provides a guarded interface to the mem9 persistent memory backend, protecting AI agents against prompt injection, secret leakage, and memory poisoning.
    6
    MIT