Programming Languages - 梅斯AI导航站

Swytchcode MCP server

Swytchcode accelerates API integrations, allowing developers to seamlessly integrate any API using Postman collections or OpenAPI specifications. With Swytchcode, developers can obtain production-read

Package Documentation MCP Server

An MCP server that provides LLMs with efficient access to package documentation across multiple programming languages

MCPRules - Programming Guidelines Management Server

A powerful Model Context Protocol (MCP) server that manages and serves programming guidelines and rules. This server integrates with development tools to provide consistent coding standards across pro

Serena

a powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & Agno integration)

Z3 Theorem Prover with Functional Programming

An MCP server for the z3 theorem prover

Coder DB - AI Memory Enhancement System

An intelligent code memory system that leverages vector embeddings, structured databases, and knowledge graphs to store, retrieve, and analyze code patterns with semantic search capabilities, quality

Open MCP Auth Proxy

Authentication and Authorization Proxy for MCP Servers

Spark-TTS

<p>Overview Spark-TTS 是由出门问问（Mobvoi）联合多所顶尖学术机构（如香港科技大学、上海交通大学）最新推出的新一代语音合成模型，其核心创新在于BiCodec编码技术和与文本大模型的结构统一性，利用大型语言模型 (LLM) 的强大功能实现高度准确且自然的语音合成。</p> <p>Spark-TTS is an advanced text

AgenticSeek

类似 Manus 但基于 Deepseek R1 Agents 的本地模型。 Manus AI 的本地替代品，它是一个具有语音功能的大语言模型秘书，可以 Coding、访问你的电脑文件、浏览网页，并自动修正错误与反省，最重要的是不会向云端传送任何资料。采用 DeepSeek R1 等推理模型构建，完全在本地硬体上运行，进而保证资料的隐私。 Features： 100% 本机运行:

搜索结果