A
license-
qualityA
maintenanceMCP server that lets AI agents see and interact with terminal/CLI applications through virtual terminals and PNG screenshots.
Last updated
67
MIT
ACL2 MCP Server
by septract
Related Servers
Alternatives to ACL2 MCP Server
No user-submitted related servers found.
Related Servers
- Flicense-qualityFmaintenanceAn advanced integrated MCP server platform that combines 600+ tools and multiple biomedical databases to enable comprehensive information retrieval across molecules, proteins, genes, and diseases for accelerating therapeutic research.Last updated36
- Alicense-qualityCmaintenanceMCP server for deterministic Vivado FPGA automation including project scaffolding, simulation, synthesis, implementation, and gated bitstream generation.Last updated2MIT
- Alicense-quality-maintenanceEnables git repository operations through REST endpoints, providing access to repository status, diffs, and commits. Enforces security through configurable root directory allowlists for safe git operations.Last updated
- Alicense-qualityDmaintenanceThis read-only MCP Server allows you to connect to Oracle Eloqua data from Claude Desktop through CData JDBC Drivers. Free (beta) read/write servers available at https://www.cdata.com/solutions/mcpLast updatedMIT
- Flicense-qualityDmaintenanceEnables AI agents to perform e-commerce operations through a standardized interface implementing the x402 and Agentic Commerce Protocol (ACP). Supports merchant sessions, product search, and payment orchestration with production-ready security features.Last updated
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/septract/acl2-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server