2 recorded libraries for Alloy Automation. Check the publisher and repository before integrating.