# Lightning Cat Overview

## What is Lightning Cat？

[Salus Lightning Cat ](https://salusec.io/)is a smart contract quick detection tool. It aims to provide users with efficient, simple, and cost-effective vulnerability detection services. This tool integrates various key features, including machine learning, DOT Diagram generation, formal verification, and fuzzing test. All of these features are integrated into a user-friendly interface, working together to provide you with a report in as little as 20 minutes. If you have business needs including but not limited to due diligence, security assessments, code quality assessments and optimization, Lightning Cat can provide professional services for you.

## Lightning Cat Core Features

Now, we will introduce the four core features of the Salus Lightning Cat tool and how to analyze their respective detection results.

1. [**Machine Learning**](/untitled/lightning-cat/machine-learning.md): Salus security solution uses machine learning and deep learning to conduct smart contract security testing.
2. [**DOT Diagram**](/untitled/lightning-cat/dot-diagram.md): Used to display the inheritance relationships, functions, variables, and their visibility in smart contracts.
3. [**Formal Verification**](/untitled/lightning-cat/formal-verification.md): By verifying the bytecode of smart contracts, Lightning Cat can discover potential vulnerabilities and security issues.
4. [**Fuzzing Test**](/untitled/lightning-cat/fuzzing-test.md): By generating and inputting a large amount of random data, Lightning Cat can detect vulnerabilities in ERC20 and ERC721 Token contracts.

{% content-ref url="/pages/gAWpPqMuJTjkZM6t5Ezv" %}
[Machine Learning](/untitled/lightning-cat/machine-learning.md)
{% endcontent-ref %}

{% content-ref url="/pages/NPteIY8hUWTdy9T1wtIK" %}
[DOT Diagram](/untitled/lightning-cat/dot-diagram.md)
{% endcontent-ref %}

{% content-ref url="/pages/lcXwgmcjoBku6CoMeWkh" %}
[Formal Verification](/untitled/lightning-cat/formal-verification.md)
{% endcontent-ref %}

{% content-ref url="/pages/d8Ui3LMs04YH0Vh8YVZp" %}
[Fuzzing Test](/untitled/lightning-cat/fuzzing-test.md)
{% endcontent-ref %}


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.salusec.io/untitled/lightning-cat/lightning-cat-overview.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.