Skip to main content
Glama
82,709 servers. Updated

"author:DigitLib" matching MCP servers:

GET /v1/servers — MCP directory API reference

  • nanoGentzen

    DigitLib
    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