Have you seen YoWasp?

[mithro]

YoWasp are web-assembly compiled versions of the Yosys (and related projects) - https://yowasp.org/

Seems like it might be synergistic with your work?

• https://github.com/YoWASP
• https://www.npmjs.com/package/@yowasp/yosys
• https://pypi.org/project/yowasp-yosys/

[tilk]

Possibly moving to WebAssembly compiled Yosys would allow more flexibility and reduce server dependency. Unfortunately, for my purposes I also need a linter (I currently use Verilator for that).