MCP Servers by Hzj

Matching MCP servers:

• 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 8 months ago

  34

  MIT License

• 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 6 months ago

  29

• MCP Sumo Logic Server

  samwang0723

  -

  security

  F

  license

  -

  quality

  Integrates with Sumo Logic's API to enable log search with configurable queries and time ranges, supporting error handling and easy deployment via Docker.

  Last updated 9 months ago

  1

  7

• Academic Author Network MCP Server

  alperenkocyigit

  -

  security

  F

  license

  -

  quality

  Enables analysis of academic author networks and research collaborations by retrieving co-authors and research keywords from sources like Semantic Scholar, OpenAlex, Crossref, and Google Scholar.

  Last updated 15 days ago

  1

• signal-mcp-server

  stefanstranger

  -

  security

  F

  license

  -

  quality

  MCP Server for retrieving Signal messages using signal-export logic.

  Last updated 4 months ago

  4

• Gemini 2.5 Flash Image MCP

  nanameru

  A

  security

  F

  license

  A

  quality

  Enables conversational image generation and editing with Google's Gemini 2.5 Flash Image Preview. Supports text-to-image generation, natural language image editing, multi-image composition, and style transfer with optional file saving.

  Last updated 3 months ago

  4

  5

  3