# Lightning Cat

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