angrysky56

MCP server for logical reasoning using Prover9

MCP server for advanced logical reasoning using Coq

MCP tool for Claude to download entire Windows working website url and assets and save to a library for AI use.

An intelligent code memory system that leverages vector embeddings, structured databases, and knowledge graphs to store, retrieve, and analyze code patterns with semantic search capabilities, quality metrics, and relationship modeling. Designed to enhance programming workflows through contextual recall of best practices, algorithms, and solutions.

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

My last working mcp-server Claude app JSON

memvid_mcp_server MCP Server

mcp-creator-mcp MCP Server

MCP-Server tool use project concept for Claude and compatible AI.

A TypeScript MCP server for managing workspace databases with filesystem integration

project-synapse-mcp MCP Server