DataGrout Invariant

Invariant is a semantic code analysis tool for AI agents. It extracts structural facts from your codebase, runs deterministic Prolog-based queries, and scores whether a code change actually matched the stated goal. Drop it into your agent's workflow and it self-corrects before shipping. Built for teams running AI-assisted code review or agentic coding pipelines.