daedalus

An MCP server that exposes rpcbind/RPC portmapper functionality, enabling querying and management of registered RPC services on remote hosts.

MCP server for accessing Uruguay's IMPO open data API with SQLite caching. Provides tools to retrieve legal norms, search regulations, and access schema documen

An MCP server that exposes Pyright language server functionality for Python, providing tools for type checking, code completions, and finding definitions. It en

Exposes the Exa web search API as an MCP server, providing tools for web searching, content retrieval, and similar page discovery. It also supports advanced fea

An MCP server that provides access to SymPy's symbolic mathematics library for advanced algebraic computations. It enables users to perform complex tasks such a

Exposes the complete Zabbix API functionality through the Model Context Protocol, mapping API methods to tools for managing hosts, triggers, and monitoring data

An MCP server designed for interacting with the Model Context Protocol Registry API to discover and retrieve information about available MCP servers. It provide

An MCP server that provides tools for evaluating Reverse Polish Notation (RPN) expressions and managing a calculator stack. It supports standard arithmetic oper

An MCP server for creating, loading, and editing RFC TXT documents using the rfc-editor Python library. It provides a suite of tools to manage document componen

MCP server that exposes a Telegram bot, enabling sending messages and retrieving updates through natural language.

MCP server for querying the OEIS (Online Encyclopedia of Integer Sequences) API, enabling sequence lookup by ID, term search, and name search.

Enables network scanning and reconnaissance through MCP tools, leveraging nmap for port scanning, service detection, and host discovery via synchronous, asynchr

Provides tools to publish, subscribe, send requests, and listen for replies over ZeroMQ messaging sockets.

A discovery tool for AI agents to search, evaluate, and install MCP servers from multiple registries.

Enables editing of STL 3D model files through the Model Context Protocol, providing tools for reading, writing, transforming, and creating primitive shapes.

MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.

MCP server for remote debugging with gdbserver, offering full debugging capabilities including breakpoint control, stepping, memory inspection, and process mana

MCP server exposing pwntools 4.15.0 functionality for binary exploitation tasks.