acl2-mcp-bridge by jimwhite - 1 ⭐ - MCPxHUB