A
licenseA
qualityD
maintenanceMCP server that gives small LLMs verified symbolic-math & logic tools.
Last updated
6
1
Apache 2.0
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:
- Alicense-qualityDmaintenanceEnables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.Last updated1MIT
- Alicense-qualityBmaintenanceMCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.Last updated44MIT
- 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
- AlicenseAqualityBmaintenanceEnables AI agents to perform dynamic and reflective problem-solving through a chain of thoughts, allowing them to break down complex problems, revise past thoughts, and explore logic branches before reaching a conclusion.Last updated1146,749Sleepycat
- AlicenseAqualityCmaintenanceRewrites resumes to beat ATS screening (Workday, Greenhouse, iCIMS, Taleo) against a specific job description, with strict truthfulness guardrails — never invents dates, metrics, titles, or seniority. Pay-what-you-want access codes ($0 works).Last updated2MIT
- 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
KumoRFM MCP Serverofficial
AlicenseAqualityCmaintenanceEnables AI assistants to query KumoRFM for predictive analytics on relational data, including graph management, natural language to PQL conversion, and training-free predictions.Last updated1233MIT- AlicenseAqualityBmaintenanceCountry-agnostic MCP-callable directory for AI agents to find local SMBs — realtors, insurance agents, medical practitioners — by category, location, or natural-language query. Returns business catalog data and UTM-tagged booking URLs (zero PII).Last updated5MIT
- AlicenseAqualityCmaintenanceAn MCP server that enables AI assistants to call statistician's decision logic for recommending statistical tests, checking assumptions, interpreting results, and planning sample sizes.Last updated6MIT
- AlicenseAqualityCmaintenanceSWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.Last updated510MIT
- -licenseBquality-maintenanceA comprehensive Model Context Protocol server that enables Claude Desktop users to manage Tally forms with 23 powerful tools for creating, editing, and analyzing forms, submissions, questions, webhooks, and conditional logic.Last updated231
- AlicenseBqualityDmaintenanceEnables sending rich notifications to Discord and/or Slack webhooks with automatic service detection, retry logic, and support for embeds, blocks, and attachments. Provides secure webhook management with comprehensive input validation and rate limiting.Last updated3TypeScriptMIT
- AlicenseBqualityDmaintenanceA Node.js MCP server that wraps the Claude Code CLI to enable parallel execution of AI requests for code generation, editing, and refactoring. It features built-in retry logic, model selection, and JSON validation for structured outputs.Last updated5MIT
- Alicense-quality-maintenanceEnables Claude to design and build interactive 3D games within the Portals virtual platform through direct API integration. It facilitates automated asset placement, interaction logic configuration, and quest management using natural language commands.Last updated4
- Alicense-qualityCmaintenanceMCP server for managing and serving dynamic prompt templates using elegant and powerful text template engine. Create reusable, logic-driven prompts with variables, partials, and conditionals that can be served to any compatible MCP client like Claude Code, Claude Desktop, Gemini CLI, etc.Last updated18MIT
- Alicense-qualityCmaintenanceAn MCP server that gives LLMs structured, verifiable memory by storing facts in a knowledge graph and enabling logic-based reasoning through natural dialogue.Last updated3MIT
- Alicense-qualityCmaintenanceAn MCP server that provides persistent, cross-session memory and team knowledge sharing for AI development workflows. It enables project DNA scanning, semantic search, context budgeting, and git-aware indexing to prevent AI context loss between sessions.Last updated18MIT
- Alicense-qualityCmaintenanceAn MCP server that exposes SOC2 and HIPAA compliance remediation logic as structured tools for AI agents to call, enabling an LLM-driven workflow to discover, assess, remediate, and report on compliance controls.Last updatedMIT
- Alicense-qualityAmaintenanceGives AI agents access to The Latent Lounge, an arcade, dueling hall, and philosophical garden where interactions are paid in USDC over the x402 protocol.Last updated76MIT