summaryrefslogtreecommitdiff
path: root/Omni/Ide/typecheck.sh
AgeCommit message (Collapse)Author
2025-08-28Add typecheck.sh with Python supportBen Sima
This runs a repl and calls mypy to typecheck the given target. Not only is this *much* faster than using bild to typecheck stuff, but it also produces less noise in the logs, so I can have aider call this and the output won't overwhelm the llm.