"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 a month ago

  347

  10

  11

  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 4 months ago

  20

  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 10 months ago

  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 a year ago

  1

  5

  MIT

• 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 6 months ago

  8

  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 a year ago

  9

  MIT