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

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

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.

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.

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

Lets MCP-compatible AI assistants have read-only conversations with OpenAI Codex CLI for code analysis, review, and Q&A.

An MCP server that edits files through a real Neovim instance, giving agents access to LSP diagnostics, formatting, code actions, and plugin commands.

A runtime-free MCP server that converts source code into AST🌲, regardless of language.

Automatically extracts technical concepts from AI coding conversations, organizes them into a searchable knowledge base with hierarchy and categories, and links them to specific locations in your codebase.

Enables AI assistants and developers to analyze code for language-specific best practices and idiomatic patterns across programming languages, CI automation, and configuration formats.

Enables Claude to use Google Gemini as a secondary AI through MCP for large-scale codebase analysis and complex reasoning tasks. Supports both Gemini Flash and Pro models with specialized functions for general queries and comprehensive code analysis.

A Model Context Protocol server that helps programmers understand code by providing explanations, tech stack analysis, and best practice suggestions through prompt templates.

Provides AI agents with ground-truth knowledge of Strapi projects by reading real schema files, enabling accurate queries and safe refactoring operations.

Turns GitHub repository history into a cited maintainer skill for coding agents, providing tools to collect evidence, query the knowledge graph, and inspect bundles.

An intelligent MCP server that acts as an AI tech lead for coding agents, providing expert validation, impact analysis, and strategic guidance before code changes are made.

Enables automated migration of Vue projects to React with intelligent analysis, task management, and learning from user modifications.

Integrates Google's Gemini AI models into Claude Code and other MCP clients to provide second opinions, code comparisons, and token counting. It supports streaming responses and multi-turn conversations directly within your existing AI development workflow.

An MCP server that empowers AI coding agents to work effectively with Minecraft mod development, providing static analysis of decompiled source code and runtime interaction with a running Minecraft instance.

This MCP server assists Minecraft Java plugin developers by providing dependency documentation lookups, version checking, and automated scanning for Gradle and Maven projects. It supports popular APIs such as Paper, Spigot, and LuckPerms to streamline plugin development and workspace analysis.

Uses Claude as an independent second-model reviewer inside Codex, performing reviews on disposable Git snapshots with structured findings.

A Python-based server for managing and analyzing code context for AI-assisted development. Provides real-time code analysis, project structure analysis, dependency tracking, and secure API endpoints.