A
licenseA
qualityB
maintenanceEnables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.
Last updated
12
Apache 2.0
66,974 servers. Last updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
com.make
actor.apify.godberry--content-to-social-mcp
io.github.open-crater
io.github.fashionmascherine-svg
"How to use make.com" matching MCP servers:
- AlicenseAqualityDmaintenanceA 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.Last updated40543MIT
- FlicenseAqualityDmaintenanceEnables 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.Last updated9
- AlicenseAqualityCmaintenanceAn 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.Last updated236MIT
- AlicenseAqualityDmaintenanceAnalyzes JavaScript/TypeScript projects for code modernization opportunities, checks browser compatibility via Can I Use, searches MDN documentation, and recommends modern Web API alternatives to reduce bundle size and improve performance.Last updated6245MIT
- AlicenseBqualityBmaintenanceAutomatically collects, summarizes, and documents code from vibe coding sessions, generating multiple document types (README, DESIGN, TUTORIAL, etc.) and publishing them to platforms like Notion, GitHub Wiki, and Obsidian.Last updated15125MIT
- FlicenseBquality-maintenanceEnables Claude Code to use Google Gemini AI capabilities for analyzing PDFs and images, generating and translating text, and reviewing code. Supports both CLI and API backends with different quota limits.Last updated476
- FlicenseBqualityBmaintenanceEnables AI to precisely use local Vue components by extracting their Props, Events, and Slots via AST analysis.Last updated244
- AlicenseBqualityCmaintenanceEnables 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.Last updated4MIT
- AlicenseCqualityCmaintenanceEnables interaction with SAP ABAP systems via ADT APIs, allowing management of ABAP objects, transport requests, and code analysis through MCP clients.Last updated10084MIT
ocentra-enforcerofficial
Alicense-qualityBmaintenanceMCP server for enforcing coding rules in Rust projects via scanning, routing, and explanation tools, designed for use with Codex, CI pipelines, and precommit hooks.Last updatedMIT- Alicense-qualityCmaintenanceEnables querying Go module versions, metadata, and go.mod contents by wrapping proxy.golang.org, providing tools for version listing and dependency analysis.Last updated2MIT
- Alicense-qualityCmaintenanceAn MCP server that provides agentic code review powered by OpenAI-compatible models, designed for use with Claude Code.Last updated1MIT
- Alicense-qualityAmaintenanceA local .NET MCP server for coding agents, providing persistent semantic indexing, typed-graph DI wiring resolution, reduced context, and compiler-backed verification for .NET projects.Last updated33Apache 2.0
- Alicense-qualityDmaintenanceEnables AI coding agents to interact with TypeScript projects through compiler-level code intelligence, providing tools for navigation, type information, diagnostics, refactoring, and semantic search.Last updated1,7753Apache 2.0
- Alicense-qualityDmaintenanceExposes 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.Last updated1MIT
- Alicense-qualityBmaintenanceAn 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.Last updated621MIT
- Alicense-qualityBmaintenanceA graph-based codebase capability discovery engine for LLM agents, exposing indexed code symbols, signatures, and relationships over MCP to enable agents to find and use tools without guessing names.Last updatedBSD 3-Clause
- Alicense-qualityBmaintenanceA 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.Last updated3401MIT
- Alicense-qualityDmaintenanceHelps 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".Last updated314MIT