F
licenseA
qualityC
maintenanceProvides deterministic logic evaluation tools including boolean expressions, truth tables, SAT solving, JSON logic rules, decision tables, and state machine analysis.
Last updated
8
64,513 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.patsnap.connect
com.patsnap.connect
com.patsnap.connect
com.patsnap.connect
"Sumo Logic" matching MCP servers:
- AlicenseAqualityAmaintenanceAn MCP server that gives coding agents programmatic access to Sumo Logic logs via the Search Job API, enabling issue triage in preview deployments and production without leaving the editor.Last updated1437Apache 2.0
- FlicenseAqualityDmaintenanceEnables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.Last updated134
- AlicenseAqualityBmaintenanceAn MCP server that brings senior-QA discipline to AI coding assistants, enabling test planning, TDD, mutation testing, and code review.Last updated484Apache 2.0
- Alicense-qualityDmaintenanceEnables creating and querying semantic knowledge graphs to model business logic, code relationships, and project structure across multiple projects.Last updated1MIT
- Alicense-qualityCmaintenanceAI-driven USB logic analyzer control via FastMCP. Captures digital traces, decodes UART/I2C/SPI, and exports VCD for PulseView, supporting sigrok hardware and built-in simulator.Last updated2MIT
- Flicense-quality-maintenanceAnalyzes Godot game projects to enforce ECS architecture patterns, automatically detecting when scene scripts contain game logic that should be in the ECS layer and validating separation between presentation and logic code.Last updated
- Flicense-quality-maintenanceA backend server that executes advanced logic primitives and cognitive operations through the Model Context Protocol, allowing integration with various LLM providers for reasoning, data processing, and structured thought processing.Last updated29
- AlicenseAqualityDmaintenanceProvides code-aware context compression by stripping comments, docstrings, and whitespace while maintaining full logic fidelity for AI agents. It features tools for architectural mapping, symbol searching, and token-budgeted multi-file reading.Last updated944MIT
- AlicenseAqualityCmaintenanceA production-ready template for building Model Context Protocol servers in TypeScript. It provides an example tool, resource, and prompt with a clean separation of transport, registration, and domain logic.Last updated1306MIT
@first-ch/tools-mcpofficial
AlicenseAqualityCmaintenanceMCP server exposing First CH Tools' free web-tool logic for WCAG contrast, JP character counting, WebP conversion, JSON-LD, and llms.txt generation to AI agents.Last updated6318MIT- AlicenseAqualityBmaintenanceEnables AI agents to design hardware by writing C-like HDL and compiling it to Verilog, with real toolchain verification including synthesis checks.Last updated101MIT
- AlicenseAqualityDmaintenanceEnables efficient code navigation and retrieval through natural language search, BM25 ranking, and fuzzy matching across multiple programming languages. It drastically reduces token usage by allowing Claude to query specific code symbols and logic instead of reading entire files.Last updated134713MIT
- AlicenseAqualityAmaintenanceProvides PostgreSQL database management and analysis via MCP, enabling schema exploration, query execution, performance monitoring, and database health checks.Last updated3618MIT
- AlicenseAqualityDmaintenanceMCP server that simulates how 5 real ATS parsers (Workday, Greenhouse, Lever, Taleo, iCIMS) read a CV. Pure JS lint engine, MIT licensed, no network calls in lint logic. Vendor-specific rules cite their public sources.Last updated3MIT
- AlicenseAqualityDmaintenanceEnables any MCP-compatible AI tool to read and leverage Cursor's context files (rules, agents, and skills) with their activation logic, allowing teams to maintain a single source of context across different AI coding assistants.Last updated67MIT
- AlicenseAqualityCmaintenanceA collection of tools that enhance MCP-based workflows with caching, retry logic, batch operations, and rate limiting capabilities.Last updated77MIT
- AlicenseAqualityBmaintenanceEnables task management with dependency tracking and workflow orchestration, allowing sequential and parallel execution of tasks with automatic progression and retry logic.Last updated275MIT
- AlicenseBqualityCmaintenanceConnects LLMs to GitHub and GitLab to analyze pull and merge requests for logic, security, and architectural alignment. It provides tools for fetching diffs, file contents, and project metadata, alongside guided prompts for professional code reviews.Last updated1018ISC
- AlicenseBqualityBmaintenanceExecution control layer for AI agents - Reserve, execute, burn/refund pattern for media generationLast updated162MIT