Pudu programming language
Menu
Package

@chrismichaelps / pudu-lang-mcp

Model Context Protocol server for Pudu language documentation and compiler tools

0.1.1Apache-2.01

InstallClose

← All tickets

Refresh the bundled documentation from pudu-lang dev #9

open

@chrismichaelps wrote on 2026-09-24

The documentation bundled in src/PuduLangMcp/Generated/Docs.pudu predates chrismichaelps/pudu-lang#307. That change corrected the Collections chapter: items.get(i) stops the program at a missing position, and List.get(&items, i) answers an Option. The pudu_docs_* tools still serve the old, wrong sentence.

Acceptance: regenerate the corpus with tools/SyncDocs.pudu at pudu-lang dev 645c7113, and add a test that pins the corrected sentence.

Read and reply on GitHub ↗