IM
ide-memory-mcp io.github.prasanna-pmpeople/ide-memory-mcp 1.6 · 31/100 Cross-IDE persistent memory layer for AI coding agents via MCP
Version check not run yet
Memory and context PyPI Local MIT
-
Appium MCP Server - Mobile automation testing via Model Context Protocol
Version check not run yet
Docs and knowledge bases PyPI Local MIT
-
A powerful MCP (Model Context Protocol) server for intelligently reading Java source code.
Version check not run yet
Developer tools PyPI Local APACHE-2.0
-
A Model Context Protocol (MCP) server for accessing Cursor IDE's SQLite databases
Version check not run yet
Databases PyPI Local MIT
-
MCP server for intelligent code analysis and search capabilities
Version check not run yet
Developer tools PyPI Local MIT
-
Advanced Python Function Debugging with MCP Integration
Version check not run yet
Developer tools PyPI Local APACHE-2.0
-
Professional FastMCP server for comprehensive Migadu email management with Context logging, tool annotations, and testing infrastructure
Version check not run yet
Developer tools PyPI Local MIT
-
OpenAPI to MCP proxy server that translates OpenAPI specs into MCP tools
Version check not run yet
Developer tools PyPI Local MIT
-
Multi-Model Code Review and Analysis MCP Server for Claude Code
Version check not run yet
Developer tools PyPI Local MIT
-
A Production-Ready Penetration Testing Toolkit for AI Agents through MCP
Version check not run yet
Security PyPI Local MIT
-
Skill-Cortex (Lite) MCP server - Enable all IDEs to access Claude Code Skills capabilities
Version check not run yet
Developer tools PyPI Local MIT
-
MCP server for Slither static analysis of Solidity contracts
Version check not run yet
Developer tools PyPI Local AGPL-3.0-OR-LATER
-
一站式 MCP 服务器开发脚手架 - 基于 Cursor 的快速开发解决方案
Version check not run yet
Developer tools PyPI Local MIT
-
Async Python client + MCP server for ProjectDiscovery's Interactsh OOB testing platform
Version check not run yet
Developer tools PyPI Local MIT
IM
isabelle-mcp io.github.xqyww123/isabelle-mcp-changelog.md 1.6 · 31/100 MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface
Version check not run yet
Developer tools PyPI Local LGPL-2.1-OR-LATER
-
FastMCP stdio server for Pyright code intelligence
Version check not run yet
Developer tools PyPI Local MIT
-
Model Context Protocol (MCP) server for TypeScript tooling via tsgo, Prettier, ESLint, and oxlint
Version check not run yet
Developer tools PyPI Local MIT
-
Judge QA for agents — measures whether your LLM judge agrees with humans, drifted between runs, or is biased, before you ship the number
Version check not run yet
Developer tools PyPI Local MIT
-
Model Context Protocol server providing 29 specialized tools for programmatic Jupyter notebook editing with format preservation, batch operations, and no Jupyter server required
Version check not run yet
Developer tools PyPI Local MIT
-
MCP server for stateful Jupyter kernel development with multi-language support (Python, TypeScript, JavaScript)
Version check not run yet
Developer tools PyPI Local MIT