Code generated from Lazaretto: skill & tool verification API. Each one is tied to the revision it was made from.