4 tagged formula-engine, measured the same way as everything else here.
Instructions file GitHub Copilot
Instructions for proompteng/bilig, covering bilig copilot instructions, toolchain and commands, high-level architecture, copilot agent workpaper path and key repo conventions.
Instructions file GitHub Copilot
Instructions for proompteng/bilig, covering bilig workpaper formula proof, first checks, required readback, command safety and references.
Instructions file CodexOpenCode
Instructions for proompteng/bilig, covering repository guidelines, project structure & module organization, build, test, and development commands, agent discovery & workpaper proof and coding style & naming conventions.