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)
   • .NET: MCP cell-by-cell only (see mcp-jupyter skill) - Papermill does NOT work
5. Analyze errors - python scripts/notebook_tools/notebook_helpers.py list {path} --verbose to inspect failed cells
6. If --fix: Use notebook-cell-iterator agent (model: sonnet) for targeted cell corrections (max 3 attempts)
7. Generate summary report

Family Reference

Family	Path	Kernel	Notes
Sudoku	Sudoku/	Mixed	C# (#!import, cell-by-cell only) + Python, one twin per notebook
Search	Search/	Mixed	GeneticSharp=C#, PyGad=Python
SymbolicAI	SymbolicAI/	Mixed	Tweety=Python+JPype
GenAI	GenAI/	Python	API keys required, use /validate-genai first
Probas	Probas/	.NET C#	Infer.NET
GameTheory	GameTheory/	Python (WSL)	OpenSpiel
Lean	SymbolicAI/Lean/	Lean 4 / Python (WSL)	WSL kernels

GenAI-Specific

For GenAI notebooks, use dedicated scripts:

python scripts/genai-stack/validate_stack.py
python scripts/genai-stack/validate_notebooks.py MyIA.AI.Notebooks/GenAI/Image/

Use /validate-genai to validate the stack before running notebooks.

Known Limitations

1. Widgets/interactive notebooks cannot run in batch mode
2. GenAI notebooks require GPU for some operations
3. .NET cold start may timeout initially (30-60s), retry once
4. External services (DBpedia, etc.) may be unavailable