Source: https://github.com/zig-wasm/zorth
Readit Newsafirium commented on Forth in Zig and WebAssembly zig-wasm.github.io/zorth/... · Posted by u/afirium
I have a gut feeling that writing this kind of MCP server can't be the future of software development. I'd expect a two year old AI model to need this kind of handholding, but I don't understand why it's still necessary.
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.
That's exactly what zig-mcp does. It gives the LLM tools like search_std_lib, get_std_lib_item, and it decides when and how to use them based on context
Maybe https://context7.com/leanprover/lean4 is what you're looking for? I am not familiar with Lean 4 but Context7 has been working well enough for me, working in a completely different field though.
For OP: Zig is also on Context7.
LLMs have issues with zig, namely outdated docs. Then I found @jedisct1's project, context7 MCPwhich provides a way to search through zig docs using natural language: https://github.com/jedisct1/zig-for-mcp
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
afirium commented on Bram Moolenaar has died groups.google.com/g/vim_a... · Posted by u/wufocaculura
Rest in peace, Bram...
afirium commented on Bootstrapping Uber’s Infrastructure on Arm64 with Zig uber.com/blog/bootstrappi... · Posted by u/motiejus
Author here.
I am proud what we've achieved. Unfortunately I will cease working on this soon[1], but, if you are interested and location suits you, I highly recommend Uber's Platform Engineering as a great place to work.
Happy to answer any questions about what's in the blog post, and, if you come to SYCL in Vancouver, BC on 2023-06-08[2] — in person.
> Given that, we have not yet introduced any production applications written in Zig into our codebase (where the toolchain is fully set up), because only a few people in the company know the language at the moment.
Do you have any plans where you can use zig in production applications? Thanks!