Full threadhartator·Any way to install via ollama?Like ollama run deepseek-ai/DeepSeek-Prover-V2-7BView on HN