MCP逻辑求解器是一个结合大型语言模型与形式化定理证明能力的强大推理系统，支持自然语言和一阶逻辑输入，通过Prover9/Mace4进行自动验证，并提供结构化推理和解释。

SEO工具MCP服务器是一个通过标准输入输出接口提供SEO API服务的中间件，支持LLM模型与DataForSEO等SEO工具的自然语言交互，实现关键词分析、排名检查、链接分析等功能。

一个基于Rust开发的本地化AI财务管理系统，支持自然语言输入、智能分析、税务计算和债务追踪，所有数据存储在本地SQLite数据库。

一个基于自然语言处理的意图解析服务器，将用户输入转换为结构化可执行工作流，提供高扩展性和可靠性的API服务。

Hyprland MCP Server是一个非官方的轻量级服务器，通过Model Context Protocol（MCP）将Hyprland窗口管理器的功能暴露给语言模型，支持自然语言查询和控制Hyprland的窗口管理、布局、输入等。

AI小记是一款基于AI的个人智能记账工具，通过自然语言交互实现极速记账和查账，支持多种输入方式和多端使用。

MyMCP Prompt是一个通过自然语言描述生成Model Context Protocol (MCP)服务器的工具，使用Google Gemini API将用户描述转换为功能性的Python MCP服务器和对应的JSON配置。项目包含Flask后端和React前端，提供Web界面供用户输入服务器描述，并展示生成的代码和配置。

一个基于自然语言处理的意图解析服务器，将用户输入转换为结构化可执行工作流，提供可扩展的API接口和可靠的处理架构。