Verified record · from the answer index

alloy-analyzer

clitested · static-verifiedscore 18/100signed passport ✓9 monthly downloads

Open-source language and analyzer for software modeling

cli:brew:alloy-analyzer