搜索结果

PromptPerfect

针对大型语言模型设计的提示词优化器，将你的 AI 提示词提升至完美。专为大型语言模型 (LLM)、大型模型 (LM) 和 LMOps 设计的尖端提示词优化器。 产品特点： - 支持多目标优化，支持逐步优化结果，支持多个模型的输出； - 支持多种语言的提示词； - 10 秒快速出结果； - 支持部署； - 支持 API, 支持快速处理和集成； 使用评价： 目前，AI 的使

DeepWiki

DeepWiki ：基于 GitHub Repo 源代码生成最新版可对话式文档，由 Devin驱动。 开源项目免费使用，无需注册。 私有项目中使用需在 http://devin.ai 注册账号。 直接访问 https://deepwiki.com，或将 GitHub 链接中的 github 替换为 deepwiki。 即：GitHub 仓库链接中的 github 替换为 deepwiki，

DeepSeek-Prover

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

meeting minutes

专注于您的对话，同时 Meetily 的 AI 会自动捕获、转录和总结您的会议记录。100% 开源、自托管和隐私优先 - Granola 和 Otter AI 的完美替代品。适用于 Google Meet、Zoom 和 Teams 只需单击一下即可捕获现场会议音频 人们说话时的实时转录 人工智能生成的摘要和行动项目 100%开源，完全透明 自托管以实现完全数据控制 100% 私

暴躁的教授读论文（mad-professor）

"暴躁教授读论文"是一个学术论文阅读伴侣应用程序，旨在通过富有个性的AI助手提高论文阅读效率。它集成了PDF处理、AI翻译、RAG检索、AI问答和语音交互等多种功能，为学术研究者提供一站式的论文阅读解决方案。 主要特性 论文自动处理：导入PDF后自动提取、翻译和结构化论文内容 双语显示：支持中英文对照阅读论文 AI智能问答：与论文内容结合，提供专业的解释和分析 个性化AI教授：AI以"暴

drone-ci-mcp

MCP server to expose drone cicd server as tools

blackboxai-1744945531054

MCP Server for Bitrix24

MCP in 10 Minutes

Solon

🔥 Java enterprise application development framework for full scenario: Restrained, Efficient, Open, Ecologicalll!!! 700% higher concurrency 50% memory savings Startup is 10 times faster. Packing 90% s

MCP in 10 Minutes

Build a MCP Server for Yahoo Finance in 10 minutes.

NS Lookup MCP Server

A simple MCP Server that exposes the nslookup command functionality

Windows 10 および macOS 通知機能付き MCP サーバー

A Model Context Protocol (MCP) server with Windows 10 desktop notifications support. It processes notification requests from MCP clients like VSCode Cline and displays customizable desktop notificatio

100-training-mcp-servers

MCPサーバーを100個作ってみるトレーニング

Coding Prompt Engineer MCP Server

Write 10x better prompts using Prompt Engineer MCP server.

Boilerplate MCP Server

TypeScript Model Context Protocol (MCP) server boilerplate providing IP lookup tools/resources. Includes CLI support and extensible structure for connecting AI systems (LLMs) to external data sources

MCP Redmine

A redmine MCP server covering close to 100% of redmines API

100-tool-mcp-server-json-example

My last working mcp-server Claude app JSON

Win-10-MCP-Server---Simple-persistant-logging

Investidor10 - MCP Server

Investidor10 MCP Server: A Model Context Protocol (MCP) server for interacting with the Status Invest API. Provides tools for fetching stock data and indicators, with a layered architecture and data v

Whodis MCP Server

MCP Server for checking the availability of domain names using WHOIS lookups

LikeC4

LikeC4 MCP Server provides knowledge of your LikeC4 model to LLMs. This enables you to query your model in natural language: - “Lookup LikeC4 model and list all incoming relationships of the backend a

Domain Lookup Mcp

Domain Lookup MCP

rdap-mcp-server

Look up domain names using RDAP

Healthcare MCP Server

A Model Context Protocol server providing AI assistants with access to healthcare data tools, including FDA drug information, PubMed research, health topics, clinical trials, and medical terminology l