rocq-prover/vsrocq

**Summary:** The rocq-prover/vsrocq is an open-source Visual Studio Code extension that facilitates the addition of AI capabilities without requiring a custom m