"author:angrysky56" matching MCP servers:

• Advanced Reasoning MCP Server

  angrysky56

  A

  security

  A

  license

  -

  quality

  An MCP server that enhances sequential thinking with meta-cognitive capabilities including confidence tracking, hypothesis testing, and organized memory storage through graph-based libraries and structured JSON documents.

  Last updated 2026-03-12

  323

  10

  12

  MIT

• MCTS MCP Server

  angrysky56

  A

  security

  A

  license

  -

  quality

  A Model Context Protocol (MCP) server that enables Claude to use Monte Carlo Tree Search algorithms for deep, explorative analysis of topics, questions, or text inputs.

  Last updated 2025-06-14

  6

  4

  MIT

• MCP Windows Website Downloader

  angrysky56

  A

  security

  A

  license

  -

  quality

  This server enables users to download entire websites and their assets for offline access, supporting configurable depth and concurrency settings.

  Last updated 2025-05-05

  1

  5

  MIT

• NeoCoder Neo4j AI Workflow

  angrysky56

  A

  security

  A

  license

  -

  quality

  Enables AI assistants to use Neo4j knowledge graphs and Qdrant vector databases for hybrid reasoning, combining structured facts with semantic search for advanced knowledge management, research analysis, and standardized coding workflows.

  Last updated 2025-12-17

  20

  MIT

• MCP-RoCQ

  angrysky56

  -

  security

  A

  license

  -

  quality

  MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.

  Last updated 2025-01-28

  9

  MIT

• Memvid MCP Server

  angrysky56

  A

  security

  F

  license

  -

  quality

  A Model Context Protocol server that encodes text, PDFs, and other content into video memory format, enabling efficient semantic search and chat interactions with the encoded knowledge base.

  Last updated 2025-07-21

  11

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

  Last updated 2026-03-05

  43

  MIT

• AST MCP Server

  angrysky56

  -

  security

  A

  license

  -

  quality

  Provides advanced code structure and semantic analysis through Abstract Syntax Trees (AST) and Abstract Semantic Graphs (ASG) across multiple programming languages. It enables tasks like incremental parsing, complexity analysis, and AST diffing to help models understand and navigate codebases.

  Last updated 2026-02-06

  34

  MIT

• MCP-Creator-MCP

  angrysky56

  A

  security

  F

  license

  -

  quality

  A meta-MCP server that helps users create new MCP servers through AI guidance, templates, and streamlined workflows, transforming ideas into production-ready implementations with minimal effort.

  Last updated 2025-06-24

  4

  1

• Narrative Graph MCP

  angrysky56

  A

  security

  F

  license

  -

  quality

  A Model Context Protocol server implementing the Random Tree Model for encoding, compressing, and recalling narrative information across different levels of abstraction with configurable cognitive parameters.

  Last updated 2025-07-13

  4

• Project Synapse

  angrysky56

  -

  security

  A

  license

  -

  quality

  An MCP server that transforms text into knowledge graphs and autonomously generates insights by combining Montague Grammar with Zettelkasten methodology.

  Last updated 2026-04-12

  8

  MIT

• OpenEnded Philosophy MCP

  angrysky56

  -

  security

  F

  license

  -

  quality

  Enables philosophical reasoning and concept analysis through NARS non-axiomatic logic integration, supporting multi-perspective synthesis, epistemic uncertainty tracking, and contextual semantic exploration with built-in truth maintenance.

  Last updated 2025-07-10

  7