Index and search codebases using structured schemas for deep code analysis. Audit specific domains or security-related functions to ensure code quality and safety.
- 安装状态
- 已补齐
命令预览
npx -y smithery mcp add symdex-100/symdex
Index and search codebases using structured schemas for deep code analysis. Audit specific domains or security-related functions to ensure code quality and safety.
命令预览
npx -y smithery mcp add symdex-100/symdex
An MCP server for managing Incus virtual machines through structured tools for command execution, file management, and snapshot operations. It enables AI agents to puppeteer VMs on a masternode by wrapping the Incus CLI.
Synapse indexes C# codebases into a FalkorDB-backed graph to provide deep structural insights including inheritance, interface implementations, and call chains. It enables AI assistants to query code architecture and navigate symbol relationships using an LSP-powered MCP server.
公开目录未提供摘要。
Enables execution of SuperCollider synth code through the Model Context Protocol using supercolliderjs, allowing AI assistants to generate and run audio synthesis programs.
Synology NAS MCP Server - Connect AI models with your Synology NAS
SyntheticUser Lab MCP runs AI synthetic user testing for SaaS products, Figma prototypes, landing pages, checkout flows, onboarding flows, and conversion funnels.
命令预览
npx -y smithery mcp add clauxel/synthetic-user-testing-mcp
Provides system diagnostic capabilities including CPU, memory, disk usage, top processes, and port status checking.
Provides AI assistants with safe, read-only access to Linux systemd services, including status monitoring, log querying, and dependency analysis, with optional granular permissions for service management actions.
A lightweight MCP server that provides real-time hardware statistics including CPU, memory, disk, and NVIDIA GPU usage. It enables users to monitor system performance and retrieve comprehensive host machine specifications through a standardized interface.
Provides tools to monitor host system health including CPU load, disk usage, and network status while enabling file system management tasks like searching and moving files. It includes built-in safety guards to prevent operations on critical system directories.
An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
Server code for MCP
全面解析Ts Morph MCP ServerMCP Server的核心功能、安装配置和实用案例。作为顶级Model Context Protocol服务器,Ts Morph MCP Server能让AI助手访问实时数据、执行操作,为您提供更智能的工作体验和自动化解决方案。
命令预览
npx ts-introspect-mcp-server
全面解析Taazkareem Clickup MCP ServerMCP Server的核心功能、安装配置和实用案例。作为顶级Model Context Protocol服务器,Taazkareem Clickup MCP Server能让AI助手访问实时数据、执行操作,为您提供更智能的工作体验和自动化解决方案。
命令预览
npx @taazkareem/clickup-mcp-server\",
Enables AI assistants to manage OKRs, track goals, and update progress on the Tability platform using natural language. It provides 27 tools for interacting with plans, objectives, outcomes, initiatives, and workspace memberships via the Tability API.
Enables integration with Tableau to query data, explore workbook content, and retrieve visualization images through natural language. It provides developer primitives for building AI applications that interact seamlessly with Tableau servers.
公开目录未提供摘要。
公开目录未提供摘要。
Enables parallel tagging and classification of CSV data using multiple LLM providers with structured output, confidence scores, and optional reasoning for batch classification tasks.