angrysky56

MCP server for logical reasoning using Prover9

AST/ASG Code Analysis MCP Server

An MCP server allowing AI assistants to use a Neo4j knowledge graph as their primary, dynamic instruction manual and long term project memory with adaptive templating and autonomous tool development tools.

MCP server for advanced logical reasoning using Coq

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.

Transforms raw text into interconnected knowledge graphs and autonomously generates insights through advanced pattern detection. It combines formal semantic analysis (Montague Grammar) with Zettelkasten methodology to create a true cognitive partnership with AI.

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

memvid_mcp_server MCP Server

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

Allows AI to perform advanced reasoning, store the reasoning automatically, and can create system prompts or domain knowledge as libraries.

AI Reasoning system that combines OpenEnded Philosophy with Non-Axiomatic Reasoning System (NARS) for enhanced epistemic analysis, truth maintenance, and multi-perspective synthesis.

My last working mcp-server Claude app JSON

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

narrative-graph-mcp MCP Server