MCPs › ACL2 MCP Server

ACL2 MCP Serversource available · licensed

Enables interaction with the ACL2 theorem prover through 15 tools for theorem proving, expression evaluation, persistent session management, and proof debugging.

listed on

Glama

Install ACL2 MCP Server

For anyone using ACL2 MCP Server — no Lulu account needed

# stdio server — install per the repository README:
https://github.com/septract/acl2-mcp

weather-mcp — free forecasts, rendered as native cards

Real-time weather for any city, built on the lulu-ads widget gallery. First-party, free forever.

View server →

FAQ

How do I install ACL2 MCP Server in Claude Code?

ACL2 MCP Server installs from source — follow the repository README.

Which registries list ACL2 MCP Server?

glama

What is ACL2 MCP Server's trust score?

3 out of 100, computed from cross-registry traction signals (installs, stars, registry presence) — never influenced by sponsorship.

Similar servers

DDiscord23Integrates with Discord to enable channel management, forum post creation, message sending, and reaction handling through secure authentication and permissions31% description match CComputer Control28Enables desktop automation through mouse control, keyboard input, screenshots, OCR, and window management for direct interaction with graphical user interfaces28% description match