mcp

FreePeak/LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

Pass

Owner: FreePeak Language: Rust Stars: 23 Rating: 0.0

Last sync: Mar 31, 2026 GitHub: Mar 31, 2026

mcp

FreePeak/db-mcp-server

A powerful multi-database server implementing the Model Con…

Pass

Owner: FreePeak Language: Go Stars: 361 Rating: 0.0

Last sync: Mar 30, 2026 GitHub: Feb 25, 2026