# Herodotus Cloud

> Developer console and API gateway for Herodotus' managed ZK infrastructure: Atlantic STARK proving, Storage Proofs, Herodotus Data Processor (HDP), Data Structure Indexer, and Satellite on-chain verification. Console at https://www.herodotus.cloud, full documentation at https://docs.herodotus.cloud.

Herodotus Cloud lets developers build trustless, verifiable blockchain applications without managing ZK prover infrastructure. Primary use cases: reading and verifying historical or cross-chain blockchain state on-chain, generating and verifying STARK proofs for Cairo programs, running verifiable computations over arbitrary on-chain data, and bridging verified data between blockchains without trusting intermediaries. Each product has a matching AI Skill — load the relevant skill before implementation. The Herodotus Auth Skill is the recommended first step for any non-browser client that needs an API key for Atlantic API or Storage Proof API.

## Atlantic API

- [Atlantic Console](https://www.herodotus.cloud/en/atlantic): Submit Cairo proving jobs and monitor queries
- [Atlantic Documentation](https://docs.herodotus.cloud/atlantic-api/introduction): Managed ZK Prover overview
- [Atlantic Getting Started](https://docs.herodotus.cloud/atlantic-api/getting-started): Setup and first query
- [Atlantic OpenAPI](https://docs.herodotus.cloud/atlantic-api/openapi-atlantic.json): Wire contract
- [Atlantic Examples Repo](https://github.com/herodotusdev/atlantic-examples): Working code examples

## Storage Proof API

- [Storage Proofs Console](https://www.herodotus.cloud/en/storage-proofs): Submit and track proof requests
- [Storage Proof Documentation](https://docs.herodotus.cloud/storage-proofs-api/introduction): Verifiable on-chain data overview
- [Storage Proof OpenAPI](https://docs.herodotus.cloud/storage-proofs-api/openapi-storage-proof-api.json): Wire contract
- [On-chain Data Access Guide](https://docs.herodotus.cloud/storage-proofs-api/contracts/accessing-data): Read proofs via Satellite

## Herodotus Data Processor (HDP)

- [HDP Console](https://www.herodotus.cloud/en/hdp): Manage tasks and modules
- [HDP Documentation](https://docs.herodotus.cloud/data-processor/introduction): Verifiable compute over multi-chain historical data
- [HDP Server API](https://docs.herodotus.cloud/data-processor-api/introduction): Task and module orchestration
- [HDP Server OpenAPI](https://docs.herodotus.cloud/data-processor-api/openapi/openapi-hdp-server.json): Wire contract
- [hdp-cairo Repo](https://github.com/HerodotusDev/hdp-cairo): Cairo modules source

## Data Structure Indexer API

- [Indexer Documentation](https://docs.herodotus.cloud/data-structure-indexer-api/introduction): MMR and remapper discovery
- [Indexer OpenAPI](https://docs.herodotus.cloud/data-structure-indexer-api/openapi-data-structure-indexer-api.json): Wire contract

## Satellite Contracts

- [Satellite Documentation](https://docs.herodotus.cloud/satellite-contracts/introduction): On-chain verification layer
- [Satellite Deployments and Integration](https://docs.herodotus.cloud/satellite-contracts/deployments-and-integration): Deployed addresses, interfaces, repo links
- [Storage Proof Contract Addresses](https://docs.herodotus.cloud/storage-proofs-api/contracts/contract-addresses): Verifier contracts per chain
- [Atlantic Contract Addresses](https://docs.herodotus.cloud/atlantic-api/contract-addresses): Atlantic verifier contracts

## AI Skills

- [AI Skills overview](https://docs.herodotus.cloud/skills/index): Vendor-neutral playbooks for AI assistants
- [How to Use AI Skills](https://docs.herodotus.cloud/skills/how-to-use): Selecting and importing skills
- [Herodotus Full Stack Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/herodotus/SKILL.md): Start here — full stack overview, product selection
- [Herodotus Auth Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/herodotus-auth/SKILL.md): Programmatic wallet authentication; required first step for Atlantic API and Storage Proof API
- [Atlantic API Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/atlantic-api/SKILL.md): Cairo proving jobs, lifecycle, artifacts
- [Data Processor Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-processor/SKILL.md): HDP module authoring and the dry-run/fetch-proofs/sound-run pipeline
- [Data Processor API Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-processor-api/SKILL.md): Task and module orchestration via HTTP
- [Storage Proof API Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/storage-proof-api/SKILL.md): Proof requests and Satellite readback
- [Satellite Contracts Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/satellite-contracts/SKILL.md): ISatellite integration, safe reads
- [Data Structure Indexer Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-structure-indexer-api/SKILL.md): Accumulator and remapper discovery
- [AI Skills repository](https://github.com/HerodotusDev/ai-skills): Open-source repo with installer for Claude Code, Cursor, Codex, Antigravity, Google Jules
- [Skills installer](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh): Run with `bash` to auto-detect tools and install

## Authentication

- [Authentication Documentation](https://docs.herodotus.cloud/documentation/authentication): API keys, console flow, and programmatic wallet authentication
- [Console Sign-in](https://www.herodotus.cloud/en/login): GitHub OAuth or Web3 wallet (Sign-in with Ethereum)
- [Herodotus Auth Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/herodotus-auth/SKILL.md): Programmatic wallet auth playbook for AI agents and CLIs

## Console Pages

- [Console home](https://www.herodotus.cloud): Project, API keys, credits
- [Product overview](https://www.herodotus.cloud/en/main): Landing page
- [Atlantic overview](https://www.herodotus.cloud/en/atlantic): Atlantic product page
- [Storage Proofs overview](https://www.herodotus.cloud/en/storage-proofs): Storage Proofs product page
- [HDP overview](https://www.herodotus.cloud/en/hdp): HDP product page
- [Developer tools hub](https://www.herodotus.cloud/en/tools): Storage Slot Explorer, Fact Hash Calculator, MMR Visualizer
- [Storage Slot Explorer (by address)](https://www.herodotus.cloud/en/tools/storage-slot-explorer/address): Visualize EVM storage layout for any deployed contract
- [Storage Slot Explorer (by code)](https://www.herodotus.cloud/en/tools/storage-slot-explorer/code): Compute slots from Solidity source
- [Fact Hash Calculator (L1 SHARP)](https://www.herodotus.cloud/en/tools/fact-hash-calculator/l1-sharp): Compute Ethereum FactRegistry hash
- [Fact Hash Calculator (L2 Integrity)](https://www.herodotus.cloud/en/tools/fact-hash-calculator/l2-integrity): Compute Starknet Integrity hash
- [MMR Visualizer](https://www.herodotus.cloud/en/tools/merkle-mountain-range/visualizer): Interactive Merkle Mountain Range explorer

## Pricing

- [Cloud Pricing](https://www.herodotus.cloud/pricing.md): Full pricing details (~100 credits per $1, ~$0.01 per credit)
- [Atlantic Pricing](https://docs.herodotus.cloud/atlantic-api/pricing): Atlantic-specific pricing notes

## Optional

- [Documentation home](https://docs.herodotus.cloud): All product documentation
- [Documentation LLMs index](https://docs.herodotus.cloud/llms.txt): Per-product link index
- [Status page](https://status.herodotus.dev): Service status
- [GitHub organization](https://github.com/HerodotusDev): All public repos
- [Company website](https://herodotus.dev): Herodotus company site
- [In-depth company docs](https://docs.herodotus.dev): Deeper technical material
- [Twitter / X](https://twitter.com/herodotusdev): Updates
- [LinkedIn](https://linkedin.com/company/herodotus): Company page
- [Blog](https://herodotusdev.medium.com): Engineering posts
- [Contact / Support](https://herodotus.dev/contact-us): Reach the team
- [Email Support](mailto:hello@herodotus.dev): hello@herodotus.dev