I am a computer science researcher interested in evaluating the use of LLM in theorem proving. There is a specialised model from DeepSeek that is specifically designed for that purpose. I would love to see it added to Cursor. [image] DeepSeek Prover V2 - API, Providers, Stats DeepSeek P…

Sure, here Cursor – Model Context Protocol it guides through installing and usage, here’s my config for openrouter: "openrouter": { "command": "env", "args": [ "OPENROUTER_API_KEY=your-api-key-goes-here", "npx", "-y", "@mcpservers/openrouterai" ] } Then choose your cursor pre…

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 addin…

[image] normalnormie: npx [image] normalnormie: analyze the result […] It kind of works 1-2 times but then it stops calling MCP and tries to work using the default model.

DeepSeek-Prover-V2

Ideas Feature Requests

vzaliva (Vadim Zaliva) June 18, 2025, 6:34am 3

Thanks! I am interested in trying agentic capabilities, so option 1 seems to be a way to go. Where I can find more info on option 1? Ideally step-by-step instruction?

Topic		Replies	Views
DeepSeek v3 chat models request Feature Requests	12	1968	January 21, 2025
Add Deepseek R1 05/28 to Cursor Feature Requests	26	4592	June 6, 2025
Deepseek R1 beats o1 and sonnet 3.5 Feature Requests	6	2145	January 21, 2025
[SOLVED] How to use Deepseek in Cursor? Guides	15	26541	April 26, 2026
Support DeepSeek-R1 as an option Feature Requests	5	1657	January 21, 2025

DeepSeek-Prover-V2

Related topics