Developer Tools & Repos MCP Servers

MCP Server for JFrog, providing tools for development and artifact management.

Fast polyglot source code intelligence: symbols, imports, dependencies, and impact analysis.

Validate JSON against a schema with Ajv, infer a schema from samples and diff two schemas.

Expose curated Justfile recipes via MCP for safe deterministic automation.

Markdown linter, workspace-scoped stdio MCP server, and self-hosted text-only remote MCP server.

Search Codeforces problems and inspect public problem metadata through the official Codeforces API.

Remote MCP for Kiro release readiness, evidence binders, signoff, and CI approval receipts.

ISO 639 language tag sd.

Triage failing GitHub Actions jobs and see what self-heal repaired, in natural language.

Cloudflare Workers MCP server: code-explainer

MCP server for AI-driven formal proof search in Lean 4

Automated code modernizer converting legacy logic to ESNext.

LF vs CRLF vs CR, text discarded

A paid remote MCP for Lix, built to return verdicts, receipts, usage logs, and audit-ready JSON.

Checks the structural integrity of translated resource dictionaries against a source dictionary y...

Official MCP server for Lovable, the AI-powered full-stack app builder.

AI-powered MCP tool discovery - find, analyze, and generate plugin configs for Model Context Protocol servers

JVM dependency intelligence for AI assistants via Maven Central

Lint and generate AI agent context files (CLAUDE.md, AGENTS.md, Cursor rules) from any MCP client.

Public MIME token for pdf.

Deterministic MiniMindsLab utilities for AI agents over MCP.