But isn’t “writing a linter for contracts” the thing we need and probably would solve? Coding agents are great because they have compilers, linters, test cases

But isn’t “writing a linter for contracts” the thing we need and probably would solve? Coding agents are great because they have compilers, linters, test cases etc to ground themselves in. With tools like OKF I’m sure most knowledge work would be distilled to its core data - it’s AST if you will, and then allow models to guard against hallucinations. Checking if a case law exists is a tool call, you can demand provenance, it’s all _buildable_. Hallucinations are “solvable” this way, so the rest is just time and adoption…