LeanKG

Unclaimed

by FreePeak

LeanKG: Stop Burning Tokens. Start Coding Lean.

Install

$cargo install leankg

Unclaimed listing

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.