搜索结果

DeepSeek-Prover

我们在 Lean 4 中引入了 DeepSeek-Prover-V2，这是一个专为形式化定理证明而设计的开源大型语言模型，其初始化数据通过 DeepSeek-V3 驱动的递归定理证明流程收集。冷启动训练过程首先促使 DeepSeek-V3 将复杂问题分解为一系列子目标。已解决子目标的证明被合成为一个思路链，并结合 DeepSeek-V3 的逐步推理，为强化学习创建初始冷启动。这一过程使我们能够将非

deepwiki-mcp

Deepwiki MCP 服务器 这是一个非官方的 Deepwiki MCP 服务器 它通过 MCP 获取 Deepwiki URL，抓取所有相关页面，将其转换为 Markdown，然后返回一个文档或按页面列出的列表。 特征 🔒域名安全：仅处理来自 deepwiki.com 的 URL 🧹 HTML 清理：删除页眉、页脚、导航、脚本和广告 🔗链接重写：调整链接以使其在 Mark

Prompt Optimizer

Prompt Optimizer是一个强大的AI提示词优化工具，帮助你编写更好的AI提示词，提升AI输出质量。支持Web应用和Chrome插件两种使用方式。 核心特性 🎯 智能优化：一键优化提示词，支持多轮迭代改进，提升AI回复准确度 🔄 对比测试：支持原始提示词和优化后提示词的实时对比，直观展示优化效果 🔄 多模型集成：支持OpenAI、Gemini、DeepSeek等主流AI模型，满足

test-dh-mcp

Explore creating a Deephaven Core MCP server

DeepSeek-MCP-Server

@tailor-platform/tailor-mcp

The tailorctl command-line utility, with a focus on MCP (Model Context Protocol) server functionality.

Korx Share MCP Server

Generates a secure, shareable URL for any AI-created visual content (charts/dashboards/HTML) with preserving full interactivity, support Claude, DeepSeek, Grok, Gemini, etc.

DeepL MCP Server

MCP Server for DeepL Translation API

MCP DeepSeek 演示项目

deepseek 结合 mcp 场景，最小用例，包括 client and server

Spring Ai Mcp Deepseek

使用 Spring AI 整合 MCP 服务，包括 MCP server 和 deepseek client

UltimateCoder MCP

AI-powered local MCP server for terminal commands, surgical file editing, process management, and intelligent codebase exploration. FastMCP-powered, file system deep integration, unified diff patching

DeepMyst MCP Server

An MCP server that allow you to talk to DeepMyst and perform collaboration between LLMs using our Gateway, Router and Token Optimization

Deepseek Reasoner

🚀 Electron Debug MCP Server

🚀 A powerful MCP server for debugging Electron applications with deep Chrome DevTools Protocol integration. Control, monitor, and debug Electron apps through a standardized API.

DeepChat 好用的图像 MCP Server 集合

A image MCP server for DeepChat

Redmine MCP Server

A Model Context Protocol (MCP) server that enables AI assistants to interact with Redmine for focused and transparent project management.

mcpservers

MCP Servers is a platform focused on showcasing and connecting Model Context Protocol servers, providing developers with convenient MCP server discovery and integration services.

OmniFocus MCP Server

Claude's OmniFocus integration: Let LLMs interface with your tasks through the Model Context Protocol. Add, organize, and query your OmniFocus database with natural language commands.

Just Prompt - A lightweight MCP server for LLM providers

just-prompt is an MCP server that provides a unified interface to top LLM providers (OpenAI, Anthropic, Google Gemini, Groq, DeepSeek, and Ollama)

MCP demo (DeepSeek as Client's LLM)

Run a MCP client & server demo with DeepSeek API

DeepSource MCP Server

Model Context Protocol (MCP) server for DeepSource

DeepView MCP

DeepView MCP is a Model Context Protocol server that enables IDEs like Cursor and Windsurf to analyze large codebases using Gemini 2.5 Pro's extensive context window.

🧠 DeepSeek MCP Server

Mirror of

Claude MCP for Marketing Professionals

One-click installer for Claude MCP servers focused on marketing professionals