Browse all MCP servers by angrysky56.
by angrysky56
MCP-Logic is an MCP server providing automated reasoning capabilities using Prover9/Mace4 for AI systems. It enables logical theorem proving and logical model verification through a clean MCP interface.
An MCP (Model Context Protocol) server that provides code structure and semantic analysis capabilities through Abstract Syntax Trees (AST) and Abstract Semantic Graphs (ASG).
MCP-RoCQ is a Model Context Protocol server that integrates with the Coq proof assistant to provide advanced logical reasoning capabilities.
The Model Context Protocol (MCP) server facilitates seamless integration and communication between AI models and external tools, enabling advanced functionalities and interoperability.
MCP Website Downloader is a simple MCP server designed for downloading documentation websites and preparing them for RAG indexing.
NeoCoder is an MCP server implementation that integrates AI assistants with a Neo4j knowledge graph to guide coding workflows.
A Model Context Protocol (MCP) server that exposes an Advanced Bayesian Monte Carlo Tree Search (MCTS) engine for AI-assisted analysis and reasoning.
A comprehensive Model Context Protocol (MCP) server for Ollama integration with advanced features including script management, multi-agent workflows, and process leak prevention.
The Gemini CLI MCP Server integrates Google's Gemini CLI with other MCP clients, enabling AI-powered functionalities like code analysis and app generation.
This document provides a comprehensive overview of setting up a remote Model Context Protocol (MCP) server on Cloudflare without authentication.
A TypeScript MCP server for managing workspace databases with filesystem integration.
A Model Context Protocol integration for Zonos TTS, allowing Claude to generate speech directly on Linux systems.
