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
- Parse target - Determine individual file, family, or all
- Discover notebooks - Use
python scripts/notebook_tools/notebook_tools.py validate {target} --quick for rapid discovery and structure check
- Categorize by kernel -
python scripts/notebook_tools/notebook_helpers.py detect-kernel {path}
- 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
- Analyze errors -
python scripts/notebook_tools/notebook_helpers.py list {path} --verbose to inspect failed cells
- If --fix: Use notebook-cell-iterator agent (model: sonnet) for targeted cell corrections (max 3 attempts)
- Generate summary report
Family Reference
| Family |
Path |
Kernel |
Notes |
| Sudoku |
Sudoku/ |
.NET C# |
#!import, cell-by-cell only |
| 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
- Widgets/interactive notebooks cannot run in batch mode
- GenAI notebooks require GPU for some operations
- .NET cold start may timeout initially (30-60s), retry once
- External services (DBpedia, etc.) may be unavailable
Converted and distributed by TomeVault — claim your Tome and manage your conversions.
1---2name: jsboige-coursia-verify-notebooks3description: Verify Notebooks4---56# Verify Notebooks78Verify and test Jupyter notebooks in the CoursIA repository.910**Target**: `$ARGUMENTS`1112## Arguments1314- `target`: Notebook path, family name (`Sudoku`, `Search`, `SymbolicAI`, `Argument_Analysis`, `GenAI`, `ML`, `Probas`, `IIT`, `Tweety`, `Lean`, `GameTheory`), or `all`15- `--quick`: Structure validation only, no execution16- `--fix`: Attempt automatic fixes (max 3 attempts per cell)17- `--python-only` / `--dotnet-only`: Filter by kernel type1819## Process20211. **Parse target** - Determine individual file, family, or all222. **Discover notebooks** - Use `python scripts/notebook_tools/notebook_tools.py validate {target} --quick` for rapid discovery and structure check233. **Categorize by kernel** - `python scripts/notebook_tools/notebook_helpers.py detect-kernel {path}`244. **Execute tests**:25 - **Python (preferred)**: `python scripts/notebook_tools/notebook_tools.py execute {target} --timeout 300`26 - **Python (alternative)**: `python scripts/notebook_tools/notebook_helpers.py execute {path} --verbose` (cell-by-cell with output)27 - **.NET**: MCP cell-by-cell only (see `mcp-jupyter` skill) - Papermill does NOT work285. **Analyze errors** - `python scripts/notebook_tools/notebook_helpers.py list {path} --verbose` to inspect failed cells296. **If --fix**: Use notebook-cell-iterator agent (model: sonnet) for targeted cell corrections (max 3 attempts)307. **Generate summary report**3132## Family Reference3334| Family | Path | Kernel | Notes |35|--------|------|--------|-------|36| Sudoku | Sudoku/ | .NET C# | `#!import`, cell-by-cell only |37| Search | Search/ | Mixed | GeneticSharp=C#, PyGad=Python |38| SymbolicAI | SymbolicAI/ | Mixed | Tweety=Python+JPype |39| GenAI | GenAI/ | Python | API keys required, use `/validate-genai` first |40| Probas | Probas/ | .NET C# | Infer.NET |41| GameTheory | GameTheory/ | Python (WSL) | OpenSpiel |42| Lean | SymbolicAI/Lean/ | Lean 4 / Python (WSL) | WSL kernels |4344## GenAI-Specific4546For GenAI notebooks, use dedicated scripts:47```bash48python scripts/genai-stack/validate_stack.py49python scripts/genai-stack/validate_notebooks.py MyIA.AI.Notebooks/GenAI/Image/50```5152Use `/validate-genai` to validate the stack before running notebooks.5354## Known Limitations55561. Widgets/interactive notebooks cannot run in batch mode572. GenAI notebooks require GPU for some operations583. .NET cold start may timeout initially (30-60s), retry once594. External services (DBpedia, etc.) may be unavailable6061---62> Converted and distributed by [TomeVault](https://tomevault.io/claim/jsboige) — claim your Tome and manage your conversions.63<!-- tomevault:4.0:skill_md:2026-04-11 -->
tomevault-io