"author:angrysky56" matching MCP servers:

• MCP-Creator-MCP

  angrysky56

  A

  license

  A

  quality

  D

  maintenance

  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.

  Updated a year ago (2025-06-24 11:17 UTC)

  4

  2

  MIT

• MCP Diagram Server

  angrysky56

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables creating, manipulating, and managing Mermaid diagrams with automatic saving and multi-format conversion from JSON, CSV, Python, Markdown, and plain text.

  Updated a year ago (2025-08-26 08:01 UTC)

  7

  MIT

• AST MCP Server

  angrysky56

  A

  license

  -Not graded

  quality

  D

  maintenance

  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.

  Updated 7 months ago (2026-02-06 11:42 UTC)

  36

  MIT

• MCP-RoCQ

  angrysky56

  A

  license

  -Not graded

  quality

  D

  maintenance

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

  Updated 2 years ago (2025-01-28 23:24 UTC)

  10

  MIT