01Integration of tacit insights for knowledge not detectable in raw code
02Source-code verification using DevAC tools for file-level accuracy
03Automated generation of verified architecture documentation with confidence markers
041 GitHub stars
05Support for ADR-aligned formalization of effect handlers
06Application of M1-M4 quality rules for documentation completeness