search

open-dollar / od-contracts

Open Dollar stablecoin contracts
https://OpenDollar.com
Other
55 stars 8 forks source link

Kontrol verification #520

Open pi0neerpat opened 6 months ago

pi0neerpat commented 6 months ago

A new security tool came up in my feed. Please try it out using our contracts

https://github.com/runtimeverification/kontrol

UPDATE 4/2: a new github action was created for us here https://github.com/runtimeverification/install-kontrol

palinatolmach commented 5 months ago

Hi, I'm Palina, part of the Kontrol team at Runtime Verification. Thank you for your interest in Kontrol! If you have any questions or require assistance, please don't hesitate to let us know on Discord (https://discord.com/invite/CurfmXNtbN) or Twitter (https://twitter.com/rv_inc).

We'd be happy to schedule a call to better understand your needs. You can use the following link to select a suitable time slot with our CTO Everett, if US timezones are preferable: https://calendly.com/everett-hildenbrandt/30min, or with me, if you're in the Asian timezone: https://calendly.com/palina-tolmach/30min. Thanks!

pi0neerpat commented 5 months ago

Waiting on https://discord.com/channels/824582698147905556/1222610423270998177/1222614582036529223

pi0neerpat commented 5 months ago

Descoping, since not enough time/resources. We should use this tool for future projects

pi0neerpat commented 5 months ago

Moving to post-launch