logic pro MCP servers

"logic pro" matching MCP servers:

• 

  WeatherXM Pro MCP Serverofficial

  WeatherXM

  A

  security

  A

  license

  A

  quality

  WeatherXM Pro MCP Server

  Last updated 9 months ago

  8

  7

  MIT

• Nano Banana Pro MCP

  mrafaeldie12

  A

  security

  F

  license

  A

  quality

  Enables AI agents to generate, edit, and analyze images using Google's Gemini image generation models including Nano Banana Pro (gemini-3-pro-image-preview).

  Last updated 2 months ago

  117

  11

• IDA Pro MCP

  mrexodia

  A

  security

  A

  license

  A

  quality

  MCP Server for automated reverse engineering with IDA Pro.

  Last updated 6 days ago

  43

  5,373

  MIT

• Logic-Thinking MCP Server

  quanticsoul4772

  -

  security

  A

  license

  -

  quality

  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.

  Last updated 4 months ago

  1

  MIT

• MCP-Logic

  angrysky56

  -

  security

  A

  license

  -

  quality

  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.

  Last updated 2 months ago

  41

  MIT

• Logic MCP Server

  Mnehmos

  -

  security

  F

  license

  -

  quality

  A 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 updated 8 months ago

  29