Hey everyone,
Google just launched this new tool called CodeWiki (https://codewiki.google/).
If you haven't seen it, it basically uses Gemini to ingest a repo and turn it into a searchable wiki with diagrams and docs. It actually looks pretty useful for onboarding or figuring out how the codebase fits together without reading every single file. It also auto-updates: if you merge a PR, CodeWiki "recompiles" the documentation to match. So, the wiki "always" represents the lastest version of the truth (~the code).
I noticed the main TLA+ repo isn't on there yet. I tried requesting it a few days ago when it launched, but nothing happened (maybe it's stuck in a queue or needs an owner to approve it?).
If any of the maintainers have a sec, could you try adding it? I think it’d be a huge help for new people trying to learn the tools.
Cheers
--