1 Commits (28106ac4b29df0de9609c1a03d65a9e7f092ca46)

Author SHA1 Message Date
Julian Noble 7448dcad8a add bin/AGENTS.md: launch package modes (src mode) and verification-shell contracts 4 weeks ago