Verification for the agent era. Your coding agent's PR summary cannot lie about its diff - one CI line. Plus the research: the first map of which AI minds can read each other. Every claim machine-verified against committed receipts, negatives included. pip install styxx
High-performance interpretable ML classifier using High Utility Gain patterns (IEEE Access 2024). C++ accelerated, scikit-learn compatible, with EBM-style explanations, adaptive binning, pattern pruning, and deployment tooling for regulated domains.