Very interesting. This has some overlap with my lisp + runtime approach and sema-lang.

See https://sema-lang.com/ (which I just found today) and https://ptc-runner.dev/blog/tools-built-for-llms/

But I love your focus on local development using smaller models.