Skip to main content
Glama
78,607 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools for Analyzing Code Structure and Logic to Create Flowcharts and Diagrams" matching MCP servers:

  • MCP-Logic

    angrysky56
    A
    license
    Not graded
    quality
    B
    maintenance
    MCP-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.
    46
    MIT

  • logic-mcp

    mjjalfar
    F
    license
    Not graded
    quality
    D
    maintenance
    Executes advanced logic primitives and cognitive operations via MCP tools, with dynamic LLM configuration and database tracing for reasoning tasks.

  • Logic-Thinking MCP Server

    quanticsoul4772
    A
    license
    Not graded
    quality
    D
    maintenance
    Enables 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.
    1
    MIT

  • Gemini MCP Server for Claude

    raydollete
    A
    license
    A
    quality
    C
    maintenance
    Integrates Google's Gemini AI models into Claude Code and other MCP clients to provide second opinions, code comparisons, and token counting. It supports streaming responses and multi-turn conversations directly within your existing AI development workflow.
    3
    Apache 2.0

  • Logic-LM MCP Server

    shipitsteven
    A
    license
    Not graded
    quality
    F
    maintenance
    Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
    5
    MIT

  • Skill-to-MCP

    biocontext-ai
    A
    license
    A
    quality
    C
    maintenance
    Converts AI Skills (following Claude Skills format) into MCP server resources, enabling LLM applications to discover, access, and utilize self-contained skill directories through the Model Context Protocol. Provides tools to list available skills, retrieve skill details and content, and read supporting files with security protections.
    3
    27
    Apache 2.0

  • inbox-to-action-mcp

    tarunlnmiit
    A
    license
    A
    quality
    A
    maintenance
    One-pass agentic inbox triage as an MCP server: fetch unread Gmail → classify (action_needed/fyi/newsletter/noise) → summarize → extract tasks → draft replies as Gmail DRAFTS (never sends) → flag calendar → write a triage report. Four stdio tools (fetch_emails, save_gmail_draft, append_tasks, write_report); the host is the LLM, so it runs keyless in Claude Code. Gmail scopes: readonly + compose
    4
    MIT

  • reasoning-tools

    MikeyBeez
    F
    license
    B
    quality
    C
    maintenance
    Provides computational tools for systematic reasoning, including boolean evaluation, date arithmetic, object counting, state tracking, and format validation, to enhance agent capabilities and eliminate calculation errors in reasoning tasks.
    7
    4