Introducing Tama, a dev toolchain for secure-by-construction EVM smart contracts
Tama enables you to build provably secure apps in 3 steps:
1. Code: write the contract itself
2. Spec: define what correct behavior looks like
3. Prove: prove the code matches the specs
@brunoswerneck@Plaid I'm trying to build a rebate agents for my ccs and hit a blockroad on trying to use the production API. I understand this is for compliance issues but would be super cool to be able to whitelist 1-3 bank accounts that I could use for my mvps while I get clearance
@shafu0x the best ux is no ux is something that finally clicked to me this week as I built my intelligence coaching platform.
You don't need a dashboard, auths, massive dbs, just an intelligence layer for your agent to work w/you
@rileybrown I use cowork to brainstorm all my ideas and set up my initial context. Once I have my mockups, users stories and linear set up I do all the implementation work in Code