搜索结果

orence潮汐AI

潮汐AIGC问答系统，聚合多模态大模型、知识库、插件和工作流等 Agent 构建能力，致力于为用户提供 LLM 大语言模型落地应用的强大在线平台。 新版本采用 Gin + Vite5 TypeScript Vue3 技术栈，拥有极致的响应速度；在更简洁的界面下保留完整功能，拥有更多的细节但是更加轻量化，拥有新的UI及交互方式，内置6组不同风格的显示效果，以及更流畅的使用体验。 AI对话

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

MCP Bridge API

MCP Bridge is a lightweight, fast, and LLM-agnostic proxy for connecting to multiple Model Context Protocol (MCP) servers through a unified REST API. It enables secure tool execution across diverse en

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

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

Unreal Engine Generative AI Support Plugin

UnrealMCP is here!! Automatic blueprint and scene generation from AI!! An Unreal Engine plugin for LLM/GenAI models & MCP UE5 server. Supports Claude Desktop App, Windsurf & Cursor, also includes Open

LLM Bridge MCP

A model-agnostic Message Control Protocol (MCP) server that enables seamless integration with various Large Language Models (LLMs) like GPT, DeepSeek, Claude, and more.

Git Forensics MCP

An MCP server for deep git repository investigation and analysis. Provides detailed insights into repository history, branch relationships, and development patterns, focusing solely on git repository