Reorganize docs navigation and home page

.entire/.gitignore

@@ -0,0 +1,4 @@
+tmp/
+settings.local.json
+metadata/
+logs/

.entire/settings.json

@@ -0,0 +1,5 @@
+{
+  "strategy": "auto-commit",
+  "enabled": true,
+  "telemetry": false
+}

.gitignore

@@ -9,4 +9,7 @@ node_modules/
 
 stash
 docs-audit.md
-docs-audit.txt
+docs-audit.txt
+docs-anchor.json
+product-docs.json
+tabs-docs.json

ai-tools/guide.mdx

@@ -2,36 +2,51 @@
 title: "AI Tools Guide"
 description: "Guidance to AI tools when working with ZK Compression. Includes Agent Skill, MCP server, DeepWiki, and AI Search guides."
 ---
+import InstallAgentSkills from "/snippets/setup/install-agent-skills.mdx";
 
 # For Docs
 
 - **Docs AI Search** - Search documentation with AI in the search bar.
 - **Markdown Export** - Append `.md` to any page URL for raw markdown.
+* **View [`/llms.txt`](https://zkcompression.com/llms.txt)** for an index of the docs - It lists key pages with descriptions
+so agents can navigate to answers quickly.
 
 # For Development
 
-## AI agents
-
-### `skill.md`
+## Agent Skills
 
-`skill.md` is a structured capability file that tells agents what they can do
-with Light Protocol and ZK Compression. If you're
-building with agents, start here.
+View or install [`/skill.md`](https://zkcompression.com/skill.md), a structured capability file that tells agents what they can do
+with Light Protocol and ZK Compression. If you're building with agents, start here.
 
-* View: [`/skill.md`](https://zkcompression.com/skill.md)
+Install or view dedicated agent skills:
 
-### `llms.txt`
+| Use case                                                                                                                                                                                              | Skill                                                |
+| ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------- |
+| Build rent-free Solana programs with Light SDK (Anchor or Pinocchio). Includes router integration.                                                                                                    | [light-sdk](https://github.com/Lightprotocol/skills/tree/main/skills/light-sdk)                       |
+| Use Light Token client SDKs (TypeScript and Rust) for mints, ATAs, transfers                                                                                                                         | [light-token-client](https://github.com/Lightprotocol/skills/tree/main/skills/light-token-client)     |
+| Stream account state via Laserstream gRPC                                                                                                                                                             | [data-streaming](https://github.com/Lightprotocol/skills/tree/main/skills/data-streaming)             |
+| Wallets and payment flows with light-token. Includes privy, wallet adapter, mobile wallet adapter signing. Optional nullifier to prevent your onchain instruction from being executed more than once. | [payments-and-wallets](https://github.com/Lightprotocol/skills/tree/main/skills/payments-and-wallets) |
+| Airdrops, DePIN, token distribution                                                                                                                                                                   | [token-distribution](https://github.com/Lightprotocol/skills/tree/main/skills/token-distribution)     |
+| Anti-double-spend nullifiers for Privacy-preserving ZK programs                                                                                                                                       | [zk-nullifier](https://github.com/Lightprotocol/skills/tree/main/skills/zk-nullifier)                 |
+| Testing programs and clients on localnet, devnet, mainnet                                                                                                                                             | [testing](https://github.com/Lightprotocol/skills/tree/main/skills/testing)                           |
+| For per-user state, DePIN nodes, and infrequently accessed app state with compressed PDAs                                                                                                             | [solana-compression](https://github.com/Lightprotocol/skills/tree/main/skills/solana-compression)     |
+| Help with Debugging and Questions via DeepWiki MCP                                                                                                                                                    | [ask-mcp](https://github.com/Lightprotocol/skills/tree/main/skills/ask-mcp)                           |
 
-`llms.txt` is an index of the docs. It lists key pages with descriptions
-so agents can navigate to answers quickly.
+> View all skills here: https://github.com/Lightprotocol/skills.
 
-* View: [`/llms.txt`](https://zkcompression.com/llms.txt)
+All skills are included and are auto-discovered based on context. Ask about light-token, defi, payments, or program migration and the agent uses the relevant skill automatically.
 
-### `llms-full.txt`
+<InstallAgentSkills />
 
-`llms-full.txt` is the full, expanded index for agents that want complete coverage of the documentation.
+## AI Prompts 
 
-* View: [`/llms-full.txt`](https://zkcompression.com/llms-full.txt)
+<Card
+  title="Find ready-to-use AI prompts for your agent here and all guides. "
+  icon="chevron-right"
+  color="#0066ff"
+  href="/ai-tools/prompts"
+  horizontal
+/>
 
 ## MCP
 
@@ -175,14 +190,9 @@ mcp__deepwiki__ask_question("Lightprotocol/light-protocol", "your question")
 You can specify any public GitHub repo that is indexed with DeepWiki. When you connect to the MCP, you specify the repository when calling the tools. Learn more [here](https://docs.devin.ai/work-with-devin/deepwiki-mcp).
 </Tip>
 
-<div style={{ display: 'flex', alignItems: 'center', gap: '0.5em' }}>
-  <h3 style={{ margin: 0 }}>Alternative: DeepWiki Web</h3>
-  <a href="https://deepwiki.com/Lightprotocol/light-protocol" style={{ margin: 0 }}>
-    <img src="https://deepwiki.com/badge.svg" alt="Ask DeepWiki" style={{ marginTop: 0, marginBottom: 0, verticalAlign: 'middle' }} />
-  </a>
-</div>
+<Accordion title="Alternative: DeepWiki Web">
 
-If you don't have the MCP installed we recommend to use AskDevin in your browser.
+If you don't have the MCP installed we recommend to use [AskDevin](https://deepwiki.com/Lightprotocol/light-protocol) in your browser.
 
 <Frame>
   <iframe
@@ -196,3 +206,6 @@ If you don't have the MCP installed we recommend to use AskDevin in your browser
     allowfullscreen
   ></iframe>
 </Frame>
+
+</Accordion>
+

ai-tools/prompts.mdx

@@ -0,0 +1,8 @@
+---
+title: "AI Prompts"
+description: "Ready-to-use AI prompts for Light Protocol. Copy a prompt, paste into your AI coding agent, and let it implement the recipe in your project."
+---
+
+import AllPrompts from "/snippets/ai-prompts/all-prompts.mdx";
+
+<AllPrompts />

api-reference/anchor-constraints.mdx

@@ -0,0 +1,194 @@
+---
+title: "Anchor Constraints LightAccount"
+description: "Syntax reference for #[light_account] constraints with sponsored rent-exemption."
+---
+
+- [`#[light_account(init)]`](#light_accountinit) creates a PDA
+- [`#[light_account(init, token::...)]`](#light_accountinit-token) creates a token account via CPI
+- [`#[light_account(init, associated_token::...)]`](#light_accountinit-associated_token) creates an ATA via CPI
+- [`#[light_account(init, mint::...)]`](#light_accountinit-mint) creates a mint via CPI
+- [Required accounts](#required-accounts) per account type
+
+Place `#[light_account]` below standard Anchor `#[account]` on the same field.
+Anchor handles seeds, space, and payer; LightAccount handles rent-free creation.
+
+---
+
+### `#[light_account(init)]`
+
+Creates a rent-free PDA. No additional parameters — uses Anchor `#[account]` seeds and space.
+
+**attribute**
+
+```
+#[light_account(init)]
+```
+
+```rust
+#[account(                                          // ← Anchor: seeds, space, payer
+    init,
+    payer = fee_payer,
+    space = 8 + <Counter as anchor_lang::Space>::INIT_SPACE,
+    seeds = [COUNTER_SEED, owner.key().as_ref()],
+    bump,
+)]
+#[light_account(init)]                              // ← Light: register for rent-free creation
+pub counter: Account<'info, Counter>,
+```
+
+Examples: [Github](https://github.com/Lightprotocol/examples-light-token/tree/main/programs/anchor/basic-macros/counter)
+
+---
+
+### `#[light_account(init, token::...)]`
+
+Creates a rent-free token account via CPI to the Light Token program. The account type is `UncheckedAccount` because Light Token program initializes it via CPI.
+
+**attribute**
+
+```
+#[light_account(init,
+    token::authority = <seeds>,
+    token::mint = <account>,
+    token::owner = <account>,
+    token::bump = <expr>
+)]
+```
+
+```rust
+#[account(
+    mut,
+    seeds = [VAULT_SEED, mint.key().as_ref()],
+    bump,
+)]
+#[light_account(init,
+    token::authority = [VAULT_SEED, self.mint.key()],
+    token::mint = mint,
+    token::owner = vault_authority,
+    token::bump = params.vault_bump
+)]
+pub vault: UncheckedAccount<'info>,
+```
+
+Examples: [Github](https://github.com/Lightprotocol/examples-light-token/tree/main/programs/anchor/basic-macros/create-token-account)
+
+---
+
+### `#[light_account(init, associated_token::...)]`
+
+Creates a rent-free associated token account via CPI.
+
+**attribute**
+
+```
+#[light_account(init,
+    associated_token::authority = <account>,
+    associated_token::mint = <account>,
+    associated_token::bump = <expr>
+)]
+```
+
+```rust
+#[account(mut)]
+#[light_account(init,
+    associated_token::authority = associated_token_account_owner,
+    associated_token::mint = associated_token_account_mint,
+    associated_token::bump = params.associated_token_account_bump
+)]
+pub associated_token_account: UncheckedAccount<'info>,
+```
+
+Examples: [Github](https://github.com/Lightprotocol/examples-light-token/tree/main/programs/anchor/basic-macros/create-associated-token-account)
+
+---
+
+### `#[light_account(init, mint::...)]`
+
+Creates a rent-free mint via CPI.
+
+**attribute (required)**
+
+```
+#[light_account(init, mint,
+    mint::signer = <account>,
+    mint::authority = <account>,
+    mint::decimals = <expr>,
+    mint::seeds = <seeds>,
+)]
+```
+
+**attribute (optional)**
+
+```
+mint::bump = <expr>
+mint::freeze_authority = <ident>
+mint::authority_seeds = <seeds>
+mint::name = <expr>                 // requires symbol + uri
+mint::symbol = <expr>               // requires name + uri
+mint::uri = <expr>                  // requires name + symbol
+mint::update_authority = <ident>    // requires name, symbol, uri
+mint::additional_metadata = <expr>  // requires name, symbol, uri
+```
+
+```rust
+#[account(mut)]
+#[light_account(init, mint,
+    mint::signer = mint_signer,
+    mint::authority = fee_payer,
+    mint::decimals = 9,
+    mint::seeds = &[MINT_SIGNER_SEED, self.authority.to_account_info().key.as_ref()],
+)]
+pub mint: UncheckedAccount<'info>,
+```
+
+<Accordion title="Mint with metadata">
+
+```rust
+#[account(mut)]
+#[light_account(init, mint,
+    mint::signer = mint_signer,
+    mint::authority = fee_payer,
+    mint::decimals = 9,
+    mint::seeds = &[MINT_SIGNER_SEED, self.authority.to_account_info().key.as_ref()],
+    mint::bump = params.mint_signer_bump,
+    mint::name = params.name.clone(),
+    mint::symbol = params.symbol.clone(),
+    mint::uri = params.uri.clone(),
+    mint::update_authority = authority,
+    mint::additional_metadata = params.additional_metadata.clone()
+)]
+pub mint: UncheckedAccount<'info>,
+```
+
+</Accordion>
+
+Examples: [Github](https://github.com/Lightprotocol/examples-light-token/tree/main/programs/anchor/basic-macros/create-mint)
+
+---
+
+## Required accounts
+
+Add these to your `init` struct alongside the fields above. The `LightAccounts` derive macro appends additional protocol accounts to the instruction at runtime — you don't add those manually.
+
+<Tabs>
+<Tab title="PDA">
+
+| Account | Description |
+|:-|:-|
+| `compression_config` | Per-program PDA. Stores rent sponsor address and compression settings. Initialize once via `InitializeRentFreeConfig`. |
+| `pda_rent_sponsor` | Per-program PDA. Receives rent-exemption lamports when accounts compress. Must be mutable. |
+| `system_program` | Solana System Program. Transfers lamports for rent-exemption. |
+
+</Tab>
+<Tab title="Token / ATA / Mint">
+
+| Account | Description |
+|:-|:-|
+| `light_token_compressible_config` | Protocol PDA. Stores rent-config for Light Token accounts. |
+| `light_token_rent_sponsor` | Protocol PDA. Holds the lamport pool that sponsors rent-exemption. Reclaims lamports when accounts compress. |
+| `light_token_program` | Light Token program. CPI target for token, ATA, and mint creation. |
+| `light_token_cpi_authority` | Signer PDA. Authorizes CPI calls from your program to the Light Token program. |
+| `system_program` | Solana System Program. Transfers lamports for rent-exemption. |
+
+</Tab>
+</Tabs>