> For the complete documentation index, see [llms.txt](https://docs.salusec.io/untitled/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.salusec.io/untitled/lightning-cat.md).

# Lightning Cat

- [Lightning Cat Overview](https://docs.salusec.io/untitled/lightning-cat/lightning-cat-overview.md): Lightning Cat - Salus's Rapid Smart Contract Detection Tool
- [Machine Learning](https://docs.salusec.io/untitled/lightning-cat/machine-learning.md)
- [DOT Diagram](https://docs.salusec.io/untitled/lightning-cat/dot-diagram.md)
- [Formal Verification](https://docs.salusec.io/untitled/lightning-cat/formal-verification.md)
- [Fuzzing Test](https://docs.salusec.io/untitled/lightning-cat/fuzzing-test.md)
- [Let·s Get Started！](https://docs.salusec.io/untitled/lightning-cat/let-s-get-started.md)