MCP Catalog
Browse 584 Model Context Protocol servers · Development & Coding · PythonClear
+9 more
Code synthesis through belief revision, mutation testing, and verification
Transcribe and understand local audio/video with CrispASR and local models only.
MCP server for natural-language Kubernetes operations across single or multi-cluster environments.
Versioning de code et génération de documentation intelligents. Supporte CLI, API REST, et MCP.
MCP server for structured methods extraction + reproducibility heuristics on academic papers.
GitHub project health, package dependency risk, trending repos, license & package comparison.
MCP server for managing Modal apps, containers, volumes, and secrets.
Review and compact prompts, docs, and AI-agent skills to save tokens, preserving structure.
Validate and test llguidance grammars with batch testing and documentation
MCP server for the Codabench REST API — drives a full ML-benchmark participant workflow.
Lossless skim-then-expand reading of big files, repos, and command output with far fewer tokens
Goose-first MCP server for Workbench-owned acceptance evidence, validation gates, and analytics.
Instant public HTTPS URLs for AI agents via Cloudflare Tunnels. x402 custom domains.
78 tools to administer Jira Cloud: issues, fields, workflows, permissions, projects, bulk ops.
MCP server fronting a self-hosted coordination-bus HTTP API: post/read/claim/release/heartbeat.
MCP server for the GitHub REST API: issues, PRs, repos; read always on, write env-gated.
Manifest-driven MCP server scaffolder and runtime hub for tool integrations.
Composable skill packets, harvests, workflow routing, and release/audit rubrics over MCP.
Query PostgreSQL databases in plain English — LLM-generated, safety-validated SQL.
Flag when a tracked commitment vanishes verbatim between two versions. A signal, not a judge.
MCP server for Arm64 Linux performance: parse perf output, suggest NEON intrinsics, audit deps.
MCP server for structural load & stability math: tipping, support reactions, beam checks.
Ten formal algebra for machine intelligence — encode, decode, compose, and verify
Analyze any video (local file or URL) into frames + transcript for Claude Code