Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
A first and second-order DSGE engine with a fully symbolic and modifiable model backend. Includes estimation, monte carlo pipeline costruction, and regression-based equation augmentation capabilities