swamp-agr/proof-assistant-bot not found