Clean: acl2-mcp-bridge - copilot-instructions.md | Skillgate

View the full report on Skillgate