"author:FreePeak" matching MCP servers:

• mermaid-mcp-server

  FreePeak

  A

  license

  -Not graded

  quality

  C

  maintenance

  A lightweight MCP server that provides real-time Mermaid diagram syntax validation with support for all diagram types.

  Updated a year ago (2025-10-07 18:03 UTC)

  66

  3

  MIT

• LeanKG

  FreePeak

  A

  license

  -Not graded

  quality

  A

  maintenance

  LeanKG: Stop Burning Tokens. Start Coding Lean.

  Updated 20 hours ago (2026-08-23 22:31 UTC)

  212

  Apache 2.0