# Let·s Get Started！

If you want to use our Salus Lightning Cat tool for automated detection of smart contracts, here is the [entrance](https://salusec.io/). Please follow the steps below:

1\. Enter the Contract Address in the **"Upload Contracts"** module. This contract should already be deployed successfully and open-source.

2\. Select the **chain network** on which this contract is deployed.

3\. Wait a few minutes, and you will be able to view the detection reports in the "**Dashboard**" module. The detection reports will include a DOT graph of the entire smart contract project, showing the inheritance relationships between contracts, and also listing the security vulnerabilities present in these contracts. The **Analyzing DOT Diagram**, **Analyzing Formal Verification Results**, and **Analyzing Fuzzing Test Results** can help you analyze the detection reports.

Automated detection may have a probability of false positives. Please be sure to manually verify the results. If you need to obtain an authoritative audit report, please contact [Salus](mailto:support@salusec.io) for professional auditing.

## Conclusions

Salus Lighting Cat tool integrates features such as DOT diagram visualization, formal verification, machine learning, and fuzzing test to enhance smart contract security for all users. Whether you have questions about Web3 security or smart contract auditing, please feel free to[ reach out to us ](https://salusec.io/)anytime through [Telegram](https://t.me/salus_security) or [Twitter](https://twitter.com/salus_sec). Our team members will reply to you as soon as possible and provide assistance.


---

# 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/let-s-get-started.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.