A Copilot-CLI Plugin for F* and Related Tools - View it on GitHub