https://baeseokjae.github.io/posts/offline-coding-agents-single-binary-ai-tools/