🔧

ACL2 MCP Server

🔧MCP Server

septract/acl2-mcp

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)

json

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

glama

Last UpdatedOct 3, 2025