01Integrated verification via dotnet build and test workflows
020 GitHub stars
03Symbol-aware renaming of classes, methods, and properties
04Safe movement of types between files and namespaces
05Automated extraction of logic into new methods or classes
06Precise method signature updates with automatic caller tracking