# Page Not Found

The URL `tokemak/mechanics-and-functionality/guardrails-and-impermanent-loss-mitigation` does not exist. This page may have been moved, renamed, or deleted.

## Suggested Pages

You may be looking for one of the following:
- [Certora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024](https://docs.auto.finance/developer-docs/security-and-audits/certora-lmpstrategy-security-assessment-and-formal-verification-report-jan-march-2024.md)
- [Halborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023](https://docs.auto.finance/developer-docs/security-and-audits/halborn-autopilot-pricing-contracts-formal-verification-report-sept-2023.md)
- [Halborn - Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023](https://docs.auto.finance/developer-docs/security-and-audits/halborn-autopilot-autopools-contracts-preliminary-smart-contract-audit-sept-2023.md)
- [Hats.Finance, Crowd Competition Smart Contract Audit, February - March 2024](https://docs.auto.finance/developer-docs/security-and-audits/hats.finance-crowd-competition-smart-contract-audit-february-march-2024.md)
- [Sherlock - Autopilot Contracts - Crowd Competition - Sept 2023](https://docs.auto.finance/developer-docs/security-and-audits/sherlock-autopilot-contracts-crowd-competition-sept-2023.md)

## How to find the correct page

If the exact page cannot be found, you can still retrieve the information using the documentation query interface.

### Option 1 — Ask a question (recommended)

Perform an HTTP GET request on the following URL with the `ask` and `goal` query parameters:

```
GET https://docs.auto.finance/developer-docs/security-and-audits/certora-lmpstrategy-security-assessment-and-formal-verification-report-jan-march-2024.md?ask=<question>&goal=<user_goal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is what the user is ultimately trying to achieve, the reason they need the answer. Sharing it helps GitBook give you a better, more relevant answer. A goal is most helpful when it describes the outcome the user wants rather than restating the question. For example, with `ask=how do I create an API token`, a goal like `automate deployments from our CI pipeline` lets GitBook tailor the answer to that use case.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

### Option 2 — Browse the documentation index

Full index: https://docs.auto.finance/sitemap.md

Use this to discover valid page paths or navigate the documentation structure.

### Option 3 — Retrieve the full documentation corpus

Full export: https://docs.auto.finance/llms-full.txt

Use this to access all content at once and perform your own parsing or retrieval. It will be more expensive.

## Tips for requesting documentation

Prefer `.md` URLs for structured content, append `.md` to URLs (e.g., `/developer-docs/security-and-audits/certora-lmpstrategy-security-assessment-and-formal-verification-report-jan-march-2024.md`).

You may also use `Accept: text/markdown` header for content negotiation.