CARA: Contract-Aware Refactoring Agent for Distributed Systems - View it on GitHub