Add Python type hints#111

Open

MikeWinkelmannXL2 wants to merge 2 commits intoml-explore:mainfrom

MikeWinkelmannXL2:main

Commits on Dec 8, 2025

feat(stubs): add stubs for python api and util script to generate them

MikeWklm
authored and
MikeWklm
committed
chore(stubs): remove dev artifact

MikeWklm
authored and
MikeWklm
committed