verify-notebooks

name	verify-notebooks
description	Verify and test Jupyter notebooks with iterative fixing. Arguments: [target] [--quick] [--fix] [--python-only] [--dotnet-only]

Verify Notebooks

Verify and test Jupyter notebooks in the CoursIA repository.

Target: $ARGUMENTS

Arguments

• target: Notebook path, family name (Sudoku, Search, SymbolicAI, Argument_Analysis, GenAI, ML, Probas, IIT, Tweety, Lean, GameTheory), or all
• --quick: Structure validation only, no execution
• --fix: Attempt automatic fixes (max 3 attempts per cell)
• --python-only / --dotnet-only: Filter by kernel type

Process

1. Parse target - Determine individual file, family, or all
2. Discover notebooks - Use python scripts/notebook_tools/notebook_tools.py validate {target} --quick for rapid discovery and structure check
3. Categorize by kernel - python scripts/notebook_tools/notebook_helpers.py detect-kernel {path}
4. Execute tests:
   • Python (preferred): python scripts/notebook_tools/notebook_tools.py execute {target} --timeout 300
   • Python (alternative): python scripts/notebook_tools/notebook_helpers.py execute {path} --verbose (cell-by-cell with output)