"Free and Easy-to-Use Minecraft Protocol Servers for Proof of Concept Projects" matching MCP servers:

Runtime access for AI coding agents to observe and control Android and iOS apps.

Supply chain risk scoring for npm, PyPI, and GitHub repos

A Model Context Protocol server that provides semantic search and intelligent access to a comprehensive list of free services and tools for developers.

Project management CLI + MCP server for AI agents. Register projects once, open them anywhere, sync to S3, auto-init git, and wire into the hasna ecosystem.

github-projects-mcp

Enables developers to turn standard Python functions into Model Context Protocol tools for Claude Desktop and Claude Code using simple decorators, with automatic schema generation and a built-in config generator.

Simplifies creating MCP servers in TypeScript with an Express-like API and experimental decorators, enabling quick definition of tools, resources, and prompts.

An MCP server for intelligently reading Java source code, supporting extraction from Maven dependencies and local projects with dual decompilers.

AIFeed Open Standard. AIFeed Protocol to the building tools section. AIFeed enables web publishers to provide verified, token-efficient content feeds for AI agents.

MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.

This MCP server publishes commit-bound proof summaries to a specified HTTPS webhook, featuring fail-closed writes and a clear authority boundary for safe external actions.

A Model Context Protocol server that automatically reads the Claude Desktop configuration file and presents all available MCP services in an easy-to-copy format at the top of the tools list.

Scans code for exposed secrets, API keys, tokens, and credentials across 69 patterns covering cloud services, AI platforms, payment providers, authentication services, and databases.

Enables local authoring and testing of Minecraft Java adventure maps through validated MCP tools, including structure building, snapshot/restore, and automated QA.

A set of MCP servers that allow AI assistants to control a Minecraft server and client, including running commands, managing plugins, taking screenshots, and calling arbitrary API methods via reflection.

A Model Context Protocol server that gives AI assistants native access to Minecraft mod development tools — decompile, remap, search, and analyze Minecraft source code directly from your AI workflow.

Enables AI agents to load, inspect, test, and repair machine-checked cryptographic proof files by wrapping EasyCrypt's batch CLI in six tools that report open goals and diagnostics. Agents can try tactic snippets on temporary copies, then commit only the steps that check, while the file itself holds all proof state.

Connects AI agents to Minecraft servers via RCON to execute commands, monitor logs, and perform read-only SQLite database queries. It is specifically designed to facilitate AI-assisted plugin development, live debugging, and automated testing workflows.

An MCP server that lets an AI agent use a real terminal the way a person does: type, press keys, click, read the screen, take a screenshot.

MCP server for parsing, validating, building and explaining FIX protocol trading messages — offline, no API keys.

A robust MCP server with tools to search, install, configure, repair, and uninstall MCP servers, automating setup and maintenance across multiple AI and developer tools.

Free and open-source MCP server for managing n8n workflows, executions, and tags via n8n's API. Enables workflow creation, activation, debugging, and deletion from any MCP client.

Enables AI assistants to manage GitHub Projects V2, including items, fields, and views through a standardized interface.

Provides 13 offline SEO and marketing tools to any MCP client, covering ad metric calculators, text and heading analysis, keyword density, and generators for meta tags, Open Graph, hreflang, schema markup, XML sitemaps, and robots.txt. Everything runs locally with no account, API key, or network calls.

Provides time intelligence, persistent memory and complete traceability for AI coding agents. Enables sophisticated activity tracking, timezone management, smart reminders, and cross-session continuity with support for both per-project and centralized storage modes.

Enables AI assistants to inspect and query a MySQL database through safe, structured tools, including schema discovery and read-only queries.

MCP server for Forge Minecraft modding documentation. Gives AI assistants direct access to Forge docs with structured search results.

Enables coding agents to observe and control an authorized Android phone over ADB through MCP tools and a JSON CLI. It supports UI inspection, screenshots, taps, swipes, typing, key presses, app listing, and launching.

Enables coding agents to control a locally connected Android phone or emulator over ADB through MCP tools for device setup, UI inspection, taps, swipes, Unicode text input, app launching, and bounded batch actions, plus a live screen sidebar with clipboard capture.

Enables Claude to connect to Figma without a paid plan, offering auto-connect and 100+ tools for document manipulation, design system sync, and code-to-Figma conversion.