We Got Tired of LLMs Getting LeanMCP Wrong. So We Built Our Own Agent

It took 2 hours. It runs on our own platform. And it knows our docs better than ChatGPT. Every time someone asked ChatGPT or Claude how to use LeanMCP, we'd wince. The answers were close enough to sound credible, but wrong enough to waste an hour of a developer's time. So we did something about it. The Problem General-purpose LLMs have a knowledge cutoff. They know LeanMCP exists. They've seen some of our public docs. But they don't know the details - the specific package names, the exact API patterns, the two We Got Tired of LLMs Getting LeanMCP Wrong. So We Built Our Own Agent It took 2 hours. It runs on our own platform. And it knows our docs better than ChatGPT. Every time someone asked ChatGPT or Claude how to use LeanMCP, we'd wince. The answers were close enough to sound credible, but wrong enough to waste an hour of a developer's time. So we did something about it. The Problem General-purpose LLMs have a knowledge cutoff. They know LeanMCP exists. They've seen some of our publi