Software developer, working with MattDF
Projects
Polymer
GPT-assisted Solidity analyzer, helping to find security issues by suggesting areas to review, generating tests and using the Z3 SMT Solver to formally verify design.Solidity, JavaScript, Python, GPT, Z3Skills
Python
Solidity
TypeScript
Shell
Information Security