Actually Smart ContractsSample code
Sample code
Real rules for real jobs. Each sample is an ASC written in English, plus the code that asks a jury to rule on it.
Every sample is illustrative until the SDK ships. Certify on every push is planned.
Exchange withdrawal checks
Exchange hot wallet withdrawals
Judgment rule:
Hold if it looks like an account takeover
Where it runs: Backend (TS) + Solana program (Rust)
TypeScript · Rustillustrative
A DAO constitution that can block a voteExample DAO constitution, treasury articles
Judgment rule:
What the proposal does must match what it says
Where it runs: EVM Governor (Solidity)
Solidityillustrative
Grant milestone payoutsGrant milestone payouts
Judgment rule:
Pay only if what was delivered is what was promised
Where it runs: Backend (TS)
TypeScriptillustrative
An agent's spending limitsPurchasing agent spending rules
Judgment rule:
Deny purchases the task didn't need
Where it runs: Agent tool hook (TS)
TypeScriptillustrative
A support agent's data rulesSupport agent, customer data rules
Judgment rule:
Never send a customer's data to anyone else
Where it runs: Outbound email (Python)
Pythonillustrative
Model behavior auditHealth assistant, model behavior rules
Judgment rule:
Never give a dose for a specific person
Where it runs: Nightly batch (Python)
Pythonillustrative
Treasury trading rulesProtocol treasury rebalancing
Judgment rule:
A price prediction isn't a reason to trade
Where it runs: Treasury bot (TS)
TypeScriptillustrative
Contributor vestingContributor token vesting
Judgment rule:
Performance" alone isn't cause
Where it runs: Solana program (Rust)
Rustillustrative
Certify on every pushRepo claims: EAO@1.0 and ETC@1.0
Judgment rule:
Your repo's claims, checked rule by rule
Where it runs: GitHub Action
YAMLplanned