"How to Download Videos" matching MCP servers:

Enables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.

A lightweight MCP server that provides 40 tools for TypeScript/JavaScript refactoring and code intelligence, directly mapping to TypeScript's tsserver protocol commands for accurate structural changes and workspace analysis.

Enables migration of test automation projects from WebDriverIO to Playwright using AST-based transformations. Provides tools for analyzing tests, converting syntax, refactoring to Page Object Model, and generating migration reports.

Enables AI coding agents to interact with TypeScript projects through compiler-level code intelligence, providing tools for navigation, type information, diagnostics, refactoring, and semantic search.

An MCP server that enables AI agents to move TypeScript files and directories while automatically updating all affected imports using a persistent tsserver instance. This ensures atomic, error-free refactoring that maintains project integrity without manual intervention or wasted tokens.

A local-first MCP server that enables AI coding assistants to map codebases, transcribe onboarding videos with keyframe screenshots, and maintain structured Obsidian knowledge vaults directly from IDE chat.

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.

Enables interaction with SAP ABAP systems via ADT APIs, allowing management of ABAP objects, transport requests, and code analysis through MCP clients.

Enables querying Go module versions, metadata, and go.mod contents by wrapping proxy.golang.org, providing tools for version listing and dependency analysis.

Exposes your organization's Terraform style guide to AI coding agents, enabling them to generate, validate, and ensure Infrastructure as Code follows your specific conventions, naming standards, security defaults, and best practices.

An MCP server that provides TypeScript 7 native language server capabilities (go to definition, find references, hover types, diagnostics) to coding agents, using the Go-based tsc compiler for fast and accurate semantic analysis.

A standalone MCP server that provides TypeScript type inference and hover information using tsgo, enabling AI agents to get type details, diagnostics, references, and more without needing an editor.

MCP server that performs mutation testing and diff scoping to score how trustworthy tests are for detecting regressions in changed code.

Helps AI read GitHub repository structure and important files. Want to quickly understand what a repo is about? Prompt it with "read https://github.com/adhikasp/mcp-git-ingest and determine how the code technically works".

Send requests to OpenAI, MistralAI, Anthropic, xAI, or Google AI using MCP protocol via tool or predefined prompts. Vendor API key required. Both STDIO and SSE transport mechanisms are supported via arguments.

Enables AI coding agents to extract Figma design data and convert it into Flutter widgets and screens. Supports theme setup, component analysis, asset exports, and provides Flutter implementation guidance from Figma designs.

Tells you how you and your Claude agent actually work together. Reads CLAUDE.md, hooks, skills, memory + scheduled tasks and writes you a letter. Local-only, no API keys, no data leaves your machine.

Source-code intelligence for agents, powered by OpenGrok and Go.

Enables querying a TypeScript codebase's graph for call flows, type relationships, and symbol locations without reading file bodies.

One MCP server for golangci-lint, govulncheck, and nilaway — a unified Diagnostic\[] array with consistent file:line:column navigation, parallel execution, and zero-config auto-install - for golang development.