Move what is left in AngouriMathLab here

[Rafael-SOWNet]

AngouriMathLab is archived (2026-10-02, ahead of 2.6.0). Since #1688 nothing writes to it, and an archived repository can still be cloned and its releases downloaded, so the links below keep working until they move. What is left to move here:

• the 2.6.0 release has the Terminal's ten builds attached, which The Terminal's builds are attached to the release of the packages #1688 (merged) does;
• LAB_ACCESS_TOKEN is deleted from this repository's secrets, since nothing uses it after The Terminal's builds are attached to the release of the packages #1688;
• the README's Terminal download link points to this repository's releases;
• the website's quickstart, at the 2.6.0 release: its Terminal downloads point to this repository's releases, and its CLI section describes amcli's one-shot commands, which ship in AngouriMath.Terminal 2.6.0, in place of the archived AngouriMathCLI's 2022 downloads;
• the README's C++ badge no longer reads Lab's latest release. That release is the Terminal's v1.0.0.6, and Lab's only C++ release is 0.0.0-poc, from 2021;
• the notebooks are one set of Jupyter notebooks here. Lab's try branch has an F# tutorial of 68 cells, with plotting, and a C# notebook of 9 cells, to be reconciled with the two samples in Sources/Samples. This covers Pull nightly by default in Try? AngouriMathLab#6 (pull nightly by default) and Add Plotting examples to Try AngouriMathLab#7 (plotting examples);
• the README's Binder "Try" button builds from this repository, not from Lab's try branch;
• AngouriGamma, the WPF demo in Lab's try branch, becomes a web app in v3.1 (AngouriGamma becomes a web app beside the website #1692); its source stays readable in the archive;
• articles.md and we-thank.md, on Lab's main branch, move to the website or to this repository;
• Lab's four issues are closed with where each now lives: Python wrapper (AngouriMath.Py) AngouriMathLab#1 in The C++ and Python wrappers follow the operation catalogue #1690, Step-by-step solver (reversible trees) AngouriMathLab#2 in Goal: Math OS — a ten-year vision for AngouriMath as an open mathematical reasoning platform #746's v5.0 (the step recorder, Step recorder with reversible trees #273), and updatin branch #6 and Momo branch #7 in the notebook item above.

The website's C++ quickstart fetches Lab's cpp-release branch, which downloads the 0.0.0-poc binaries. That works from the archive. Replacing it is part of #1690.

Part of #1649.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

[Happypig375]

C++ and Python should really follow the same schema as C# methods, terminal and MCP (#1684). Detailed design to be scheduled on v3.1 (related - #368).

Jupyter notebooks are to be reconciled with .NET Interactive notebooks in this repo. .NET Interactive notebooks are deprecated already so I suppose everything should be in Jupyter.

[Rafael-SOWNet]

Filed as #1690 in 3.1, beside #368 and #1684. I've also added to the checklist above everything Lab holds that isn't here yet: the notebooks, the Binder setup, AngouriGamma, and two documents.

On the notebooks: the .net-csharp and .net-fsharp kernels that both sets run on are .NET Interactive's own. So moving everything to Jupyter still leaves the kernel open: those kernels while they work, or Python through the wrapper in #1690. Which would you prefer?

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

[Happypig375]

According to dotnet/interactive#4163, the replacements for .NET Interactive Notebooks are C# file-based apps and Jupyter notebooks for non-C# languages.

Presumably we would have two versions of notebook-style demos, one in single file C#, another as Jupyter (with the proposed Python wrapper).

Following this guidance properly, we would drop the C# and F# kernels altogether.

[Happypig375]

Check that we considered everything for AngouriMathMCP, AngouriMathCLI, AngouriMathLab and AngouriMathBot such that all are ready for archival.

[Rafael-SOWNet]

I checked each of the four for anything that still points at it or depends on it:

• MCP: nothing is outstanding in the repository. The library's AGENTS.md still named it in the release checklist; The release checklist names the MCP server here, not its archived repository #1696 points that at Sources/MCP instead.
• CLI: nothing is outstanding in the repository. The website's quickstart still describes the standalone amcli, with its 2022 downloads. The one-shot commands that replace it ship in AngouriMath.Terminal 2.6.0, so that section changes at the 2.6.0 release, on the checklist above. Until then its old downloads work from the archive.
• Bot: nothing in any repository points at it. Is the bot itself still running on the Discord server? Archiving the repository doesn't stop a deployed bot.
• Lab: what's left is on the checklist above. At 2.6.0, the README's and the quickstart's Terminal downloads move to this repository's releases. Before that: the C++ badge, the notebooks and the Binder button, articles.md and we-thank.md, and the LAB_ACCESS_TOKEN secret. The C++ quickstart and the Binder button work from the archive in the meantime.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura