{"data":{"id":"deepseek-prover-2","name":"deepseek-prover-2","display_name":"DeepSeek Prover V2","description":"An open-source LLM specialized in formal theorem proving in Lean 4, trained via a recursive theorem-proving pipeline built on DeepSeek's MoE architecture.","creator":"deepseek","family":"deepseek-prover","tier":"","version":"2.0","type":"language","size_in_bn":null,"modalities":{"input":["text"],"output":["text"]},"context_window":163840,"max_output_tokens":null,"tool_use_system_prompt_tokens":0,"output_vector_sizes":[],"knowledge_cutoff":null,"training_data_cutoff":null,"supported_reasoning_efforts":[],"tokenizer":null,"capabilities":{"function_calling":false,"parallel_function_calling":false,"structured_outputs":false,"prompt_caching":false,"reasoning":false,"web_search":false,"computer_use":false,"code_execution":false,"file_search":false,"url_context":false,"assistant_prefill":false,"native_structured_output":false,"adaptive_reasoning":false},"release_date":null,"earliest_deprecation_date":null,"deprecated":false,"has_pricing":true,"provider_count":1,"ids":["accounts/fireworks/models/deepseek-prover-v2","deepseek-prover-2","fireworks_ai/accounts/fireworks/models/deepseek-prover-v2"],"hf_likes":null,"hf_downloads":null,"hf_downloads_all_time":null,"hf_trending_score":null,"updated_at":"2026-06-21 08:03:17"},"meta":{"updated_at":"2026-06-21","request_id":"91c2271e-5420-47f9-a98d-65c09097952f","execution_ms":8}}