Agent skill · aiskillstore
air-cryptographer
This skill should be used when the user asks about "AIR", "algebraic intermediate representation", "ZK constraints", "trace design", "constraint soundness"
Reference it in any coding agent with:
@skills aiskillstore/air-cryptographer