One Parser to Rule Them All

April 2026 Prove v1.3.0 ships a major architectural milestone: the legacy recursive-descent parser is gone.Tree-sitter is now the sole parser for every stage of the compiler — syntax checking, linting,code generation, and the LSP. Alongside that migration come new verbs, better diagnostics,and the foundation for lint-driven code quality. Tree-sitter as the only parser Since v1.2.0…

Compiler Optimization Through Verbs: Why Intent Matters What if the compiler knew exactly what your function was supposed to do — before it even saw the implementation? That’s the core idea behind Prove’s verb system. And it changes everything for optimization. The Problem with Traditional Compilers Most compilers work from the inside out. They analyze…