A
license-
qualityC
maintenanceA comprehensive MCP server for structured threat modeling using STRIDE methodology, with automatic code validation and report generation.
Last updated
65
Apache 2.0
61,048 servers. Last updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.pipeworx-io
com.olyport
com.solvicus
com.olyport
"Mathematical modeling resources and information" matching MCP servers:
- AlicenseBqualityCmaintenanceEnables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.Last updated1MIT
- AlicenseAqualityCmaintenanceExposes MAID Runner validation tools (validate, snapshot, test) as MCP tools, resources, and prompts for AI agents like Claude Code and Aider, enabling seamless integration with AI development workflows.Last updated8MIT
- AlicenseAqualityBmaintenanceAn AST-based MCP server that provides token-efficient codebase skeletons to LLM agents, reducing context token usage by 80-95% by exposing structural information instead of full source files.Last updated51752MIT
- AlicenseAqualityAmaintenanceScans source code for possible Korean compliance risks (PIPA, Network Act, Credit Information Act, E-Commerce Act) and maps findings to specific legal provisions. Runs locally, exposes MCP tools for scanning and law lookup, and does not constitute legal advice. That's hedged (matches the project's "possible risk / not legal advice" rule), keyword-rich for search, and names all four laws.Last updated41MIT
- AlicenseAqualityDmaintenanceProvides access to Ant Design component library documentation and information for automated code generation. Enables searching components by category or keyword, retrieving component props, examples, API documentation, and available icons.Last updated63ISC
- AlicenseAqualityBmaintenanceMCP server that provides npm package information for AI agents during TypeScript development.Last updated7461MIT
- AlicenseAqualityDmaintenanceAn MCP server that scans codebases to extract structural information (classes, functions, etc.) with flexible filtering options and outputs in LLM-friendly formats.Last updated12GPL 3.0
- AlicenseAqualityCmaintenanceEnables mapping JavaScript error stack traces back to original source code, extracting context information to help developers locate and fix issues.Last updated3772MIT
- FlicenseAqualityCmaintenanceProvides grounded answers for writing Minecraft mods, targeting 1.8.9 and 1.21.10+ eras with curated and live tools for mappings, APIs, and mixins.Last updated162
- AlicenseAqualityCmaintenanceEnables AI assistants to review GitHub and GitLab pull requests and merge requests, supporting multiple transports and custom review rules.Last updated74MIT
- FlicenseAqualityDmaintenanceA comprehensive MCP server providing arithmetic tools, dynamic file resources for frontend/backend documentation, reusable prompt templates for code review/debugging/testing, and complete development workflow management from requirements to deployment.Last updated446
- AlicenseAqualityCmaintenanceBridges Claude and OpenAI's Codex CLI for AI-powered code analysis, generation, and review, with support for session management, web search, and structured output.Last updated6687604ISC
- AlicenseAqualityDmaintenanceEnables storing and querying structured information about software code entities (classes, functions, files) and their relationships (calls, imports) along with qualitative observations like design decisions and change rationale.Last updated9114MIT
- AlicenseAqualityFmaintenanceProvides C++ code intelligence tools for AI agents via the Model Context Protocol, enabling symbol navigation, type information, and diagnostics.Last updated940Mozilla Public 2.0
- FlicenseAqualityDmaintenanceProvides AI tools with access to real-time web search, automated code reviews, and detailed Korean business information through the AgentSkills API. It enables users to perform structured searches, analyze code for security and performance, and retrieve Korean company financial data.Last updated3
- -licenseAquality-maintenanceProvides comprehensive development tools for FastMCP projects including documentation access, NPM package version management, and TypeScript type definitions retrieval. Enables developers to fetch FastMCP documentation, analyze NPM packages, and access MCP architecture information through natural language.Last updated6
- AlicenseAqualityDmaintenanceA MCP server for Trae IDE that reads and reports diagnostic information (errors/warnings/hints) from the IDE, enabling AI Agents to provide more intelligent code analysis and suggestions.Last updated4512MIT
- AlicenseAqualityBmaintenanceA Python MCP server that exposes the Graphify knowledge graph as MCP tools, prompts, and resources, enabling AI assistants to explore codebases through a token-budgeted, structural graph during development.Last updated162MIT