GitHub repository: occam-proof-assistant/Open-CLI
Description: Occam's command line package management tool.