I think I've spent way more time trying to compile micropython, and chasing subtle bugs on its implementation, than it would have taken to rewrite the simple micropython program in another framework.

Might as well - currently it's your mobile number and mobile service provider as the key to all your security, a proper trusted id and and cryptograph key would be way better.

Old Intel macbooks are good Linux machines too! High res display and such a sturdy metal shell.

I've had partial success by specifically prompting to "use a mathematical backend" (wolfram alpha).
Circuit diagrams in picture form are hilariously awful! But asking for net lists almost works and feels close to being able to get a good work flow by passing that text format to a renderer.