Skip to main content
Glama
100,867 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
    OpenRouter for browser agents. One MCP that routes browser tasks across 250+ runners (Browserbase, Steel, Skyvern, Anchor, etc.). Not Google Nano Banana image gen.
    2 npm
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Connects AI assistants to NVIDIA Jetson Nano systems for edge computing management, enabling natural language control of AI workloads, hardware optimization, and system administration tasks.
    7
    MIT