Kontrol verification

[pi0neerpat]

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]

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]

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

[pi0neerpat]

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

[pi0neerpat]

Moving to post-launch