"Finding People on LinkedIn" matching MCP servers:

Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement of thoughts and designs. It integrates seamlessly with popular AI agents and provides a structured approach to reasoning, API design, architecture decisions, code r

An MCP server implementation that helps Claude remember and learn from programming errors by storing, retrieving, and finding similar errors with full context.

A client library for connecting to and interacting with MCP servers hosted on smcphub.com, allowing users to find, publish, and call tools on MCP servers.

A simple MCP server implementation in TypeScript that communicates over stdio, allowing users to ask questions that end with 'yes or no' to trigger the MCP tool in Cursor.

Enables agents to synthesize typed MCP tool schemas at runtime, validate Python ASTs for unsafe imports, compile sandboxed callable handlers, and hot-plug them into an active MCP runtime. It provides a zero-dependency, standard-library-only MCP server for safe just-in-time tool creation and execution.

Enables agents to dynamically generate typed MCP tool schemas, validate Python execution ASTs against unsafe imports, and hot-plug sandboxed callable handlers into an active runtime. This allows new tools to be synthesized and safely executed on demand.

MCP server for snowflake that doesn't allow write operations under any circumstances, and includes a system prompt.

Enables GUI automation by executing Python code with instrumented pyautogui, providing MCP-friendly output and inline screenshot delivery.

Enables AI coding agents and people to coordinate Lean 4 formalization work by exposing the harness over MCP: derive open/claimed/closed theorem nodes from the compiled environment, lock approved statements, record claims and logs, and run memory-capped build, proof-check, and audit jobs.

Enables AI coding agents to create disposable, isolated Firecracker MicroVM sandboxes on AWS Lambda, execute commands, transfer files, and tear them down when done.

An MCP server that enables AI agents to execute Lua code, inspect scripts, spy on remotes, and interact with running Roblox game clients, including support for mobile executors on Android and iOS.

MCP server for security bug-finding that proves every finding by running exploits, enabling agents to verify changes and find bugs with execution-based evidence.

A lightweight MCP server that gives AI coding assistants full development capability on ServiceNow through the Table API, enabling CRUD and script execution without local installation.

Enables container orchestration on the local Docker daemon, allowing management of jobs and services via MCP tools.

Enables authenticated clients to retrieve problem information and optimization hints, manage source revisions and custom data, and submit or query Ascend C/NPU evaluation tasks.

An MCP server that provides a real debugger via the Debug Adapter Protocol, exposing a single 'debug' tool to launch/attach, control execution, and inspect program state across gdb, lldb, debugpy, and more.

A server that helps people access and query data in databases using the Query Runner with integration of the Model Context Protocol (MCP) Python SDK. Support databases including PostgreSQL Redshift MySQL Microsoft SQL Server Google APIs Amazon Web Services (via boto3) CockroachDB SQLite

Enables AI agents to run arbitrary Python scripts on Modal's serverless infrastructure with on-demand CPU, memory, and GPU resources, providing scalable compute without maintaining always-on servers.

Bridges local Claude Code with a remote Codex instance on a VPS via SSH, enabling Claude Code to invoke Codex as a sub-agent on remote repositories and retrieve results along with Git diff.

A meta-server that aggregates multiple MCP servers into a single interface, reducing token usage by 98%+ through progressive tool discovery and direct code execution that processes data between tools without consuming context window space.