🔧

ACL2 MCP Server

🔧MCP Server

septract/acl2-mcp

glama

Installation

Claude CLIAdd MCP server via Claude CLIAuto-generated from README. View full documentation on GitHub →

claude mcp add acl2 /path/to/acl2-mcp/venv/bin/acl2-mcp

Claude Desktop ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "acl2": {
      "command": "/path/to/acl2-mcp/venv/bin/a...

Last UpdatedJun 22, 2026