MCP-PIF Server

Alternative 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.

  15

  Python

  MIT License

• Model Context Protocol (MCP) Server

  hideya

  -

  security

  A

  license

  -

  quality

  This server facilitates the invocation of AI models from providers like Anthropic, OpenAI, and Groq, enabling users to manage and configure large language model interactions seamlessly.

  4

  Python

  MIT License

• obsidian-mcp

  StevenStavrakis

  -

  security

  A

  license

  -

  quality

  Enables AI assistants to interact with Obsidian vaults, providing tools for reading, creating, editing and managing notes and tags.

  598

  149

  TypeScript

  MIT License

• AI Humanizer MCP Server

  Text2Go

  A

  security

  A

  license

  A

  quality

  Helps refine AI-generated content to sound more natural and human-like. Built with advanced AI detection and text enhancement capabilities.

  1

  47

  8

  JavaScript

  MIT License

• mcp-pinecone

  sirmews

  -

  security

  A

  license

  -

  quality

  Pinecone integration with vector search capabilities

  51

  Python

  MIT License

• MCP server for Obsidian

  MarkusPfundstein

  -

  security

  A

  license

  -

  quality

  MCP server to interact with Obsidian via the Local REST API community plugin.

  8

  438

  Python

  MIT License