Community

A library of executable intents.

Real .ety files from production use cases. Fork, adapt, ship.

manage_inventory.ety
intent manage_inventory
purpose: 'Maintain healthy inventory levels'
must always: reorder before stock depletion
must never: exceed storage capacity
must always: notify managers about shortages
end
audit_contract.ety
intent audit_contract
purpose: 'Static-audit a smart contract'
requires: solidity_analyzer
must always: report all reentrancy vectors
must never: skip critical severity findings
verify: scan_coverage > 0.95
end
warehouse_delivery.ety
intent warehouse_delivery
purpose: 'Move pallets safely under SLA'
must never: collide with humans
must always: stop when obstacle detected
end
finance_agent.ety
boundary finance_agent
cannot access: employee_private_records
must always: request approval above 10000
end