Hey HN!
I made this because Zig's stdlib changes so much and outdated docs are a problem. Server fetches the latest documentation directly from the ziglang.org and makes it available through the MCP, so LLM can query stdlib functions and builtins. |
Hey HN!
I made this because Zig's stdlib changes so much and outdated docs are a problem. Server fetches the latest documentation directly from the ziglang.org and makes it available through the MCP, so LLM can query stdlib functions and builtins. |
AI generally struggles with less popular languages, and particularly with Lean 4, which is an excellent general purpose programming language that happens to have a primary goal to be a proof assistant. This skew in the training corpus really confuses AI.
Claude Opus 4 does better. I've looked at ways to serve the Lean 4 documentation; this Zig project is a better model for me.
Nia (https://www.trynia.ai) should generalize these tools, but it appears to have a "code base" focus for now. The right approach, but too specific a "system prompt".
For OP: Zig is also on Context7.
But context7 returns semantically processed responses that often summarize or rephrase the information instead of quoting it. And that's why there is now zig-mcp which returns documentation in markdown format for stdlib and builtin functions
Couldn't any modern AI model know that Zig docs are relevant to the question, figure out how to find the docs, write some code to parse it, and guess how frequently to update it's cache?
I expect there to be plenty of problems AI can't write for the foreseeable future but they have a very different vibe from this.
Edit: I just asked Claude Sonnet 4 to pretend it has a tool that makes docs available that has an update frequency parameter. It said the zig stdlib should be updated weekly but the Java stdlib would only need quarterly. Seems reasonable to me.
What do you need (external) docs for? Stdlib source code is available right away.