Skip to main content
Glama
91,435 servers. Updated

"author:septract" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • ACL2 MCP Server

    septract
    A
    license
    Not graded
    quality
    D
    maintenance
    Enables interaction with the ACL2 theorem prover through 15 tools for theorem proving, expression evaluation, persistent session management, and proof debugging.
    5
    BSD 3-Clause