# Herodotus Cloud Services

> Verifiable cross-chain data, ZK proofs, storage proofs, Cairo proving, and on-chain verification. Canonical docs at https://docs.herodotus.cloud.

Each product has a matching AI Skill — a vendor-neutral playbook for building with that product. AI assistants should read the relevant skill before implementation work, and prefer answering from the linked pages directly. For Atlantic scripts, backend integrations, and AI-agent workflows, prefer the HCloud CLI/SDK before writing a custom client. HCloud is published on npm at https://www.npmjs.com/package/@herodotus_dev/hcloud. If the user does not want HCloud, use the Atlantic OpenAPI contract at https://atlantic.api.herodotus.cloud/docs/json. For exact wire contracts use the OpenAPI specs in the API Specs section. The Herodotus Auth Skill is the recommended first step for any non-browser client that needs to call Atlantic API or Storage Proof API.

## Get Started

- [Introduction](https://docs.herodotus.cloud/documentation/introduction): Welcome to Herodotus Cloud
- [Quickstart](https://docs.herodotus.cloud/documentation/quickstart): Get started with Herodotus Cloud Services in minutes
- [Authentication](https://docs.herodotus.cloud/documentation/authentication): API keys, console flow, and programmatic wallet authentication

## AI Skills

- [AI Skills overview](https://docs.herodotus.cloud/skills/index): Index of all Herodotus AI skill playbooks
- [How to Use AI Skills](https://docs.herodotus.cloud/skills/how-to-use): Selecting, importing, and applying 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, cross-product patterns
- [Herodotus Auth Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/herodotus-auth/SKILL.md): Programmatic wallet authentication (EIP-712 → Bearer access token → API key); run first 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, L1/L2 verification
- [Data Processor Skill](https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-processor/SKILL.md): HDP modules, soundness, dry-run/fetch-proofs/sound-run
- [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, 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 API 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): Auto-detects coding tools and installs skills under `herodotus/`

## Atlantic API

- [Introduction](https://docs.herodotus.cloud/atlantic-api/introduction): Managed ZK Prover service that integrates with StarkWare's SHARP
- [Atlantic API Skill page](https://docs.herodotus.cloud/skills/atlantic-api): AI playbook
- [Getting Started](https://docs.herodotus.cloud/atlantic-api/getting-started): Setup and first query
- [Examples](https://docs.herodotus.cloud/atlantic-api/examples): Practical code samples
- [Sending Query](https://docs.herodotus.cloud/atlantic-api/sending-query): Request body construction
- [S-two](https://docs.herodotus.cloud/atlantic-api/stwo): Next-generation prover
- [Query Status](https://docs.herodotus.cloud/atlantic-api/status): Lifecycle and terminal states
- [Downloading PIE & PROOF](https://docs.herodotus.cloud/atlantic-api/downloading-files): Artifact download
- [Webhooks](https://docs.herodotus.cloud/atlantic-api/webhooks): Real-time progress notifications
- [Integrity Verifier](https://docs.herodotus.cloud/atlantic-api/integrity-verifier): Verify STARK proofs on Starknet
- [Dynamic Layout on L2](https://docs.herodotus.cloud/atlantic-api/dynamic): Dynamic and all_cairo layouts
- [Contract Addresses](https://docs.herodotus.cloud/atlantic-api/contract-addresses): Verifier contract addresses
- [Applicative Recursion](https://docs.herodotus.cloud/atlantic-api/applicative-recursion): Bucket-based proof aggregation
- [Trace Generation](https://docs.herodotus.cloud/atlantic-api/steps/trace-generation): Cairo program execution to PIE
- [Proof Generation](https://docs.herodotus.cloud/atlantic-api/steps/proof-generation): PIE to STARK proof
- [L1 Proof Verification](https://docs.herodotus.cloud/atlantic-api/steps/l1-proof-verification): Ethereum FactRegistry
- [L2 Proof Verification](https://docs.herodotus.cloud/atlantic-api/steps/l2-proof-verification): Starknet Integrity verifier
- [Submit Query endpoint](https://docs.herodotus.cloud/atlantic-api/endpoints/submit-query): POST proving job
- [Get Query endpoint](https://docs.herodotus.cloud/atlantic-api/endpoints/get-query): Status by query ID
- [Get Query By Dedup ID](https://docs.herodotus.cloud/atlantic-api/endpoints/get-query-by-dedup-id): Lookup by custom dedup key
- [Get Query Jobs](https://docs.herodotus.cloud/atlantic-api/endpoints/get-query-jobs): Per-job detail
- [List Queries](https://docs.herodotus.cloud/atlantic-api/endpoints/list-queries): Paginated query list
- [Get Query Stats](https://docs.herodotus.cloud/atlantic-api/endpoints/get-query-stats): Aggregate query timing and count stats
- [Retry Query](https://docs.herodotus.cloud/atlantic-api/endpoints/retry-query): Retry failed retriable Atlantic queries
- [Is Alive](https://docs.herodotus.cloud/atlantic-api/endpoints/is-alive): Health check
- [Create Bucket](https://docs.herodotus.cloud/atlantic-api/endpoints/create-bucket): Recursion bucket
- [List Buckets](https://docs.herodotus.cloud/atlantic-api/endpoints/list-buckets)
- [Get Bucket](https://docs.herodotus.cloud/atlantic-api/endpoints/get-bucket)
- [Close Bucket](https://docs.herodotus.cloud/atlantic-api/endpoints/close-bucket)

## Data Processor (HDP)

- [Introduction](https://docs.herodotus.cloud/data-processor/introduction): What HDP is and what it can prove
- [Data Processor Skill page](https://docs.herodotus.cloud/skills/data-processor): AI playbook
- [CLI Installation](https://docs.herodotus.cloud/data-processor/cli-installation): Install the HDP CLI
- [Ways to Run HDP](https://docs.herodotus.cloud/data-processor/running-hdp): Local, Atlantic proving, HDP Server orchestration
- [Proving with STWO](https://docs.herodotus.cloud/data-processor/proving): Generate STWO prover input from HDP sound-run
- [Architecture Overview](https://docs.herodotus.cloud/data-processor/architecture): Cairo1 modules + Cairo0 verification + Rust handlers
- [Pipeline Stages](https://docs.herodotus.cloud/data-processor/pipeline): Dry-run, fetch-proofs, sound-run end-to-end
- [HDP Capabilities](https://docs.herodotus.cloud/data-processor/capabilities): API surface available in Cairo modules
- [Verification Model](https://docs.herodotus.cloud/data-processor/verification): How HDP verifies historical chain data
- [State Management](https://docs.herodotus.cloud/data-processor/state-management): Memorizers, injected state, unconstrained data
- [State Server](https://docs.herodotus.cloud/data-processor/state-server): Run HDP state_server for injected state proofs
- [Output Model](https://docs.herodotus.cloud/data-processor/output): task_hash, output_root, mmr_metas
- [Provable EVM Contract Calls](https://docs.herodotus.cloud/data-processor/eth-call): execute_eth_call inside HDP modules
- [Design Patterns and Constraints](https://docs.herodotus.cloud/data-processor/design-patterns): Sound HDP module design
- [Official Examples](https://docs.herodotus.cloud/data-processor/examples): hdp-cairo example walkthroughs
- [CLI Reference](https://docs.herodotus.cloud/data-processor/reference-cli): Commands and flags
- [Configuration Reference](https://docs.herodotus.cloud/data-processor/reference-configuration): Env vars and runtime config
- [Types Reference](https://docs.herodotus.cloud/data-processor/reference-types): Core HDP input/output types
- [Debugging](https://docs.herodotus.cloud/data-processor/debugging): HDP pipeline troubleshooting
- [Glossary](https://docs.herodotus.cloud/data-processor/glossary): Core HDP terms
- [Upstream Documentation](https://docs.herodotus.cloud/data-processor/documentation): Primary upstream docs for hdp-cairo
- [GitHub Repository](https://docs.herodotus.cloud/data-processor/repository): Source, examples, releases

## Data Processor API

- [Introduction](https://docs.herodotus.cloud/data-processor-api/introduction): HDP Server API for scheduling Data Processor tasks
- [Health Check](https://docs.herodotus.cloud/data-processor-api/health-check): Server, database, message queue health
- [Data Processor API Skill page](https://docs.herodotus.cloud/skills/data-processor-api): AI playbook
- [Schedule a Task](https://docs.herodotus.cloud/data-processor-api/create-task): Submit a verified custom-module execution
- [List Tasks](https://docs.herodotus.cloud/data-processor-api/list-tasks): Paginated task listing
- [Get Task Status](https://docs.herodotus.cloud/data-processor-api/task-status): Current state by UUID
- [Get Task Details](https://docs.herodotus.cloud/data-processor-api/get-task-details): Full metadata and MMRs used
- [Get Used MMRs](https://docs.herodotus.cloud/data-processor-api/get-mmrs): MMRs accessed by a task
- [Get Task Output Preimage](https://docs.herodotus.cloud/data-processor-api/get-task-output-preimage): Output tree root preimage
- [Retry Task](https://docs.herodotus.cloud/data-processor-api/retry-task): Retry from beginning or decommitment-only
- [Decommitment Only](https://docs.herodotus.cloud/data-processor-api/decommitment-only): Submit decommitment when running HDP locally
- [Get Task State Transitions](https://docs.herodotus.cloud/data-processor-api/get-task-state-transitions): State history
- [Upload Module](https://docs.herodotus.cloud/data-processor-api/upload-module): Upload compiled program + source + metadata
- [List Modules](https://docs.herodotus.cloud/data-processor-api/list-modules): Filter by marketplace or creator
- [Get Module](https://docs.herodotus.cloud/data-processor-api/get-module): Module detail by ID
- [Update Module](https://docs.herodotus.cloud/data-processor-api/update-module): Edit module metadata
- [Publish Module](https://docs.herodotus.cloud/data-processor-api/publish-module): Push to marketplace
- [Unpublish Module](https://docs.herodotus.cloud/data-processor-api/unpublish-module): Remove from marketplace
- [Get Module Versions](https://docs.herodotus.cloud/data-processor-api/get-module-versions): All versions of a module

## Storage Proof API

- [Introduction](https://docs.herodotus.cloud/storage-proofs-api/introduction): Introduction to Storage Proofs
- [Use Cases](https://docs.herodotus.cloud/storage-proofs-api/use-cases): Storage Proof use cases
- [Quick Start Guide](https://docs.herodotus.cloud/storage-proofs-api/quick-start-guide): Get started
- [Key Concepts](https://docs.herodotus.cloud/storage-proofs-api/key-concepts): Block hashes, inclusion proofs, ZK verification
- [Storage Proof API Skill page](https://docs.herodotus.cloud/skills/storage-proof-api): AI playbook
- [Accessing Data On-chain](https://docs.herodotus.cloud/storage-proofs-api/contracts/accessing-data): Read proofs via Satellite
- [Example Smart Contract](https://docs.herodotus.cloud/storage-proofs-api/contracts/example-smart-contract): Solidity reference
- [Contract Addresses](https://docs.herodotus.cloud/storage-proofs-api/contracts/contract-addresses): Verifier contracts per chain

## Satellite Contracts

- [Introduction](https://docs.herodotus.cloud/satellite-contracts/introduction): What Satellite contracts are and why they matter
- [For End Users](https://docs.herodotus.cloud/satellite-contracts/for-end-users): Consuming proven historical data
- [Satellite Contracts Skill page](https://docs.herodotus.cloud/skills/satellite-contracts): AI playbook
- [Architecture](https://docs.herodotus.cloud/satellite-contracts/architecture): MMR commitments, proof verification, contract composition
- [Module Map](https://docs.herodotus.cloud/satellite-contracts/module-map): Module responsibilities
- [How Satellite Powers Herodotus Services](https://docs.herodotus.cloud/satellite-contracts/herodotus-stack): Storage Proof, Indexer, HDP integration
- [Deployments and Integration](https://docs.herodotus.cloud/satellite-contracts/deployments-and-integration): Deployed addresses, interfaces, repos

## Data Structure Indexer API

- [Introduction](https://docs.herodotus.cloud/data-structure-indexer-api/introduction): Overview of the Indexer API
- [Data Structure Indexer Skill page](https://docs.herodotus.cloud/skills/data-structure-indexer-api): AI playbook

## API Specs

- [Atlantic API OpenAPI](https://docs.herodotus.cloud/atlantic-api/openapi-atlantic.json): Atlantic request/response schemas and endpoint contracts
- [HDP Server OpenAPI](https://docs.herodotus.cloud/data-processor-api/openapi/openapi-hdp-server.json): HDP Server task/module orchestration contract
- [Storage Proof API OpenAPI](https://docs.herodotus.cloud/storage-proofs-api/openapi-storage-proof-api.json): Proof request lifecycle contract
- [Data Structure Indexer OpenAPI](https://docs.herodotus.cloud/data-structure-indexer-api/openapi-data-structure-indexer-api.json): Indexer query contract

## Optional

- [Herodotus Console](https://www.herodotus.cloud): Web UI for projects, API keys, and credits
- [Sign in](https://www.herodotus.cloud/en/login): GitHub OAuth or Web3 wallet
- [Atlantic Console](https://docs.herodotus.cloud/atlantic-api/console): Console feature docs
- [Atlantic Swagger UI](https://docs.herodotus.cloud/atlantic-api/swagger-ui): Interactive API explorer
- [Atlantic Pricing](https://docs.herodotus.cloud/atlantic-api/pricing): Atlantic pricing details
- [Cloud Pricing](https://www.herodotus.cloud/pricing.md): Full pricing
- [Status Page](https://status.herodotus.dev): Service status
- [Company Site](https://herodotus.dev): Herodotus company website
- [In-Depth Company Docs](https://docs.herodotus.dev): Deeper technical docs
- [Storage Proofs Docs](https://docs.storageproofs.com): Additional storage-proof material
- [GitHub Organization](https://github.com/HerodotusDev): All public repos
- [Twitter / X](https://x.com/HerodotusCloud): Updates
- [LinkedIn](https://www.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