docs: fix factual errors in LLM provider and model references

- Fix any-llm-sdk GitHub URL: mozilla-ai/any-llm (correct) instead of marekstephens/any-llm-sdk (non-existent)
- Update OpenRouter model count: 300–500+ from 60+ providers (was understated at 100+)
- Remove unsourced CPU latency claim (~200–500ms) for LLMLingua-2 compression
- Consolidate messaging: OpenRouter as default provider, any-llm-sdk enables future multi-provider support

Fixes based on:
- any-llm-sdk PyPI package maintained by Mozilla AI at mozilla-ai/any-llm
- OpenRouter current provider count verified at openrouter.ai
- LLMLingua-2 paper (2403.12968) only benchmarks on GPU; no published CPU latency data

Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>

Author: timeleft--

AGENTS_SETUP_INSTRUCTIONS.md

@@ -33,7 +33,7 @@ The Trust Gate reviews thoughts before promotion using an LLM. By default, FAVA
 
 The default model (`google/gemini-2.5-flash`) costs ~$0.001 per review.
 
-**Other providers:** FAVA Trails uses [any-llm-sdk](https://github.com/marekstephens/any-llm-sdk) for unified LLM access, enabling support for additional providers (Anthropic, OpenAI, Bedrock, etc.). Configuration for provider selection will be available in future versions via `config.yaml`.
+**Other providers:** FAVA Trails uses [any-llm-sdk](https://github.com/mozilla-ai/any-llm) for unified LLM access, enabling support for additional providers (Anthropic, OpenAI, Bedrock, etc.). Configuration for provider selection will be available in future versions via `config.yaml`.
 
 ## Creating the Data Repo
 

README.md

@@ -120,7 +120,7 @@ For Claude Desktop on Windows (accessing WSL):
 }
 ```
 
-> **The Trust Gate uses LLM verification:** Thoughts are reviewed before promotion to ensure they're coherent and safe. By default, FAVA Trails uses [OpenRouter](https://openrouter.ai/) to access 100+ models from Anthropic, OpenAI, Google, Qwen, and others. Get a free API key at [openrouter.ai/keys](https://openrouter.ai/keys). The default model (`google/gemini-2.5-flash`) costs ~$0.001 per review. Multi-provider support via [any-llm-sdk](https://github.com/marekstephens/any-llm-sdk) enables switching to other providers by modifying `config.yaml`.
+> **The Trust Gate uses LLM verification:** Thoughts are reviewed before promotion to ensure they're coherent and safe. By default, FAVA Trails uses [OpenRouter](https://openrouter.ai/) to access 300–500+ models from 60+ providers including Anthropic, OpenAI, Google, Qwen, and others. Get a free API key at [openrouter.ai/keys](https://openrouter.ai/keys). The default model (`google/gemini-2.5-flash`) costs ~$0.001 per review. Multi-provider support via [any-llm-sdk](https://github.com/mozilla-ai/any-llm) enables switching to other providers by modifying `config.yaml`.
 
 ### Use it
 
@@ -203,7 +203,7 @@ Environment variables:
 | `FAVA_TRAILS_SCOPE` | Agent | Project-specific scope from `.env` file | *(none)* |
 | `OPENROUTER_API_KEY` | Server | API key for Trust Gate LLM reviews via [OpenRouter](https://openrouter.ai/keys) | *(none — required for `propose_truth`)* |
 
-**LLM Provider:** FAVA Trails uses [any-llm-sdk](https://github.com/marekstephens/any-llm-sdk) for unified LLM access. OpenRouter is the default provider (recommended for simplicity — single API key, 100+ models). Additional providers (Anthropic, OpenAI, Bedrock, etc.) can be configured in `config.yaml` for future versions.
+**LLM Provider:** FAVA Trails uses [any-llm-sdk](https://github.com/mozilla-ai/any-llm) for unified LLM access. OpenRouter is the default provider (recommended for simplicity — single API key, 300–500+ models from 60+ providers). Additional providers (Anthropic, OpenAI, Bedrock, etc.) can be configured in `config.yaml` for future versions.
 
 The server reads `$FAVA_TRAILS_DATA_REPO/config.yaml` for global settings. Minimal `config.yaml`: