- GitHub Copilot Chat
- slither - codex - Codex bug detector
- slither-documentation - Write documentation for your code in pull requests using Slither and OpenAI.
- VSCode Solidity AI - an AI auditing assistant
- https://www.zellic.io/blog/can-gpt-audit-smart-contracts
- https://blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/
- https://slowmist.medium.com/how-effective-is-gpt-for-auditing-smart-contracts-cdeddfa76dbe
⚠️ https://arxiv.org/pdf/2304.12749.pdf⚠️ https://arxiv.org/pdf/2306.12338.pdf⚠️ https://arxiv.org/abs/2308.03314
⚠️ this icon is used to indicate when papers are not yet peer-reviewed.