overview
What is act101?
act101 is an AI-powered code quality layer developed by act101.ai that enables individual engineers, codebase owners, and architects to analyze, refactor, and attest to changes from coding agents. It focuses on providing provable change safety and behavioral equivalence for AI-generated code, addressing the bottleneck of "proof" in agentic software development. The tool operates on a three-stage workflow: Analyze, Act, and Attest. The Analyze stage utilizes 41 codebase analyzers to identify issues like dead code, cycles, and coupling. The Act stage offers 183 refactoring operations for transformations across multiple files. The Attest stage involves 6 verification operations and a deterministic merge gate that classifies changes, identifies relevant tests, diffs side-effects, and provides a MERGE/REVIEW/BLOCK verdict with a signed receipt and one-command rollback. This ensures behavioral equivalence and provable change safety across 163 supported grammars, including COBOL, Fortran, Ada, Verilog, and Solidity.
