it will never happen as cursor integrates general models(as of now), you got two options:
- install openrouter mcp and prompt a cursor model to use this mcp tool in order to process your request through model “deepseek-prover-v2”
- directly use openrouter by configuring it in cursor settings and adding deepseek-prover-v2 as a custom model in the list of models like Dean explains here: Connecting Poe.com API with Cursor to access ChatGPT - #6 by deanrie
If you need agentic capabilities go with 1