Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude...

Model Context Protocol (MCP) server designed for LLMs to interact with Obsidian vaults. Provides secure, token-aware tools for...

Finance mcp server- Get up-to-date prices and news about stocks and cryptocurrencies

AegnticMCP automates the creation and management of MCP servers, ensuring they are stable, adaptable, and intelligent.

This read-only MCP Server allows you to connect to Splunk data from Claude Desktop through CData JDBC Drivers....

This package lets you start Vapi calls directly in your Python application.

A simple POC to expose Mythic as a MCP server

solana docs

The MCP Teamtailor is a Model Context Protocol (MCP) server that provides a simple integration with the [teamtailor...

An MCP tool that provides AI with the ability to compress and decompress local files.

Bayesian MCTS Model Context Protocol Server allowing Claude to control Ollama local models for Advanced MCTS and analysis.