FreePeak

A powerful multi-database server implementing the Model Context Protocol (MCP) to provide AI assistants with structured access to databases.

LeanKG: Stop Burning Tokens. Start Coding Lean.

A Rust-based CLI tool that automates documentation generation from code changes using AI models through the Model Context Protocol (MCP).