# 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

### Atlantic proving workflow

1) Introduction and setup:
- /atlantic-api/introduction
- /skills/atlantic-api
- /atlantic-api/getting-started
2) Query submission and lifecycle:
- /atlantic-api/sending-query
- /atlantic-api/status
- /atlantic-api/downloading-files
- /atlantic-api/webhooks
3) Verification and contracts:
- /atlantic-api/integrity-verifier
- /atlantic-api/dynamic
- /atlantic-api/contract-addresses
4) Operational details:
- /atlantic-api/pricing
- /atlantic-api/applicative-recursion
- /atlantic-api/examples
- /atlantic-api/known-issues

## 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

### AI Skills
#### AI Skills
- /skills/index - Overview. Central index of Herodotus vendor-neutral AI skill playbooks
- /skills/how-to-use - How to Use AI Skills. Practical guide for selecting, importing, and applying Herodotus AI skills
#### Skills
- /skills/herodotus - Herodotus Full Stack AI Skill. One skill to understand the entire stack, pick the right products, and compose cross-product workflows
- /skills/atlantic-api - Atlantic API AI Skill. Vendor-neutral AI playbook for building with Atlantic API safely and accurately
- /skills/data-processor - Data Processor AI Skill. Vendor-neutral AI playbook for building provable computation modules with HDP
- /skills/data-processor-api - Data Processor API AI Skill. Vendor-neutral AI playbook for HDP Server task and module orchestration
- /skills/storage-proof-api - Storage Proof API AI Skill. Vendor-neutral AI playbook for requesting, tracking, and consuming storage proofs
- /skills/satellite-contracts - Satellite Contracts AI Skill. Vendor-neutral AI playbook for integrating with Herodotus Satellite contracts
- /skills/data-structure-indexer-api - Data Structure Indexer API AI Skill. Vendor-neutral AI playbook for working with accumulators and remappers safely

### Atlantic API
#### Atlantic Prover Suite
- /atlantic-api/introduction - Introduction. Atlantic is a managed ZK Prover service that allows developers to easily integrate with StarkWare's SHARP
- /skills/atlantic-api - Atlantic API AI Skill (cross-referenced from Skills)
- /atlantic-api/getting-started - Getting Started. How to get started with the Atlantic API
- /atlantic-api/examples - Examples. Explore practical examples and code samples for integrating Atlantic STARK proving service
- /atlantic-api/sending-query - Sending Query. Prepare appropriate request body based on your input and desired outcome
- /atlantic-api/known-issues - Known Issues. Current limitations of Atlantic's Cairo 1 lane (Rust VM / cairo1-run) and practical workarounds
- /atlantic-api/stwo - S-two. Learn about StarkWare's next-generation S-two prover and how Atlantic leverages it for high-performance proof generation
- /atlantic-api/status - Query Status. How to check the status of your Atlantic queries
- /atlantic-api/downloading-files - Downloading PIE & PROOF. How to download PIE and PROOF files from your Atlantic queries
- /atlantic-api/webhooks - Webhooks. Configure webhooks to receive real-time notifications about Atlantic query progress
- /atlantic-api/integrity-verifier - Integrity Verifier. Verify STARK proofs on Starknet and register verified proofs in Integrity's storage
- /atlantic-api/dynamic - Dynamic Layout on L2. Proof verification with Integrity using dynamic or all_cairo layouts
- /atlantic-api/contract-addresses - Contract Addresses. Smart contract addresses for Atlantic STARK proof verification on Ethereum, StarkNet, and other supported chains
- /atlantic-api/pricing - Pricing. Pricing for different services
- /atlantic-api/applicative-recursion - Applicative Recursion. Submit multiple queries to the same bucket and verify them together as a single on-chain operation
#### Atlantic Steps
- /atlantic-api/steps/trace-generation - Trace Generation. Running Cairo program on given inputs and generating pie.zip file
- /atlantic-api/steps/proof-generation - Proof Generation. Converting pie.zip into STARK proof (proof.json), verifiable at lower cost
- /atlantic-api/steps/l1-proof-verification - L1 Proof Verification. STARK proofs can be verified on L1 (Ethereum) via FactRegistry contract
- /atlantic-api/steps/l2-proof-verification - L2 Proof Verification. STARK proofs can be verified on L2 (Starknet) with Integrity verifier
#### Handy Links
- /atlantic-api/console - Console. Access the Herodotus Cloud Console to manage Atlantic API keys, monitor proof generation, and track usage
- /atlantic-api/swagger-ui - Swagger UI. Interactive API documentation and testing interface for Atlantic STARK proving service endpoints
#### Endpoints
- /atlantic-api/endpoints/submit-query - Submit query. Submit a Cairo program for STARK proof generation and optional on-chain verification via Atlantic API
- /atlantic-api/endpoints/get-query - Get query. Retrieve the status and details of a submitted Atlantic STARK proof query by its ID
- /atlantic-api/endpoints/get-query-by-dedup-id - Get query by dedup ID. Retrieve an Atlantic STARK proof query using your custom deduplication identifier
- /atlantic-api/endpoints/get-query-jobs - Get query jobs. Get detailed job information for an Atlantic proof generation query
- /atlantic-api/endpoints/list-queries - List queries. List all Atlantic STARK proof queries submitted with your API key with pagination support
- /atlantic-api/endpoints/is-alive - Is Alive. Check the health status and availability of the Atlantic API service
- /atlantic-api/endpoints/create-bucket - Create bucket
- /atlantic-api/endpoints/list-buckets - List buckets
- /atlantic-api/endpoints/get-bucket - Get bucket
- /atlantic-api/endpoints/close-bucket - Close bucket

### Data Processor
#### Data Processor (HDP)
- /data-processor/introduction - Introduction. What HDP is, why teams use it, and what it can (and cannot) prove
#### AI Skill
- /skills/data-processor - Data Processor AI Skill (cross-referenced from Skills)
#### Setup and Run
- /data-processor/cli-installation - CLI Installation and Usage. Install the HDP CLI and run your first HDP pipeline
- /data-processor/running-hdp - Ways to Run HDP. Local execution, Atlantic proving, and HDP Server orchestration
- /data-processor/proving - Proving with STWO. Generate STWO prover input from HDP sound-run
#### Core Concepts
- /data-processor/architecture - Architecture Overview. How Cairo1 modules, Cairo0 verification, and Rust handlers work together in HDP
- /data-processor/pipeline - Pipeline Stages. Dry run, fetch-proofs, and sound run end-to-end
- /data-processor/capabilities - HDP Capabilities and API Surface. Everything available through the HDP object in Cairo modules
- /data-processor/verification - Verification Model. How HDP verifies historical chain data before executing your module
- /data-processor/state-management - State Management. Memorizers, injected state, and unconstrained data in HDP
- /data-processor/state-server - State Server. Run and use the HDP state_server for injected state proofs
- /data-processor/output - Output Model. task_hash, output_root, and mmr_metas produced by HDP
#### Guides and Examples
- /data-processor/eth-call - Provable EVM Contract Calls. Using execute_eth_call to call EVM contracts at historical blocks inside HDP
- /data-processor/design-patterns - Design Patterns and Constraints. How to design sound HDP modules without overtrusting off-chain indexing
- /data-processor/examples - Official Examples by Use Case. What each hdp-cairo example demonstrates and which APIs it uses
#### Reference
- /data-processor/reference-cli - CLI Reference. Commands and flags for the HDP CLI
- /data-processor/reference-configuration - Configuration Reference. Environment variables and runtime configuration for HDP
- /data-processor/reference-types - Types Reference. Core HDP input/output and proof-related types
- /data-processor/debugging - Debugging. Common troubleshooting steps for HDP pipelines and Cairo modules
- /data-processor/glossary - Glossary. Core HDP terms
- /data-processor/documentation - Official HDP Documentation. Primary upstream docs for hdp-cairo
- /data-processor/repository - GitHub Repository. Source code, examples, and release history for HDP Cairo

### Data Processor API
#### HDP Server API
- /data-processor-api/introduction - Introduction. HDP Server API for scheduling and managing Data Processor tasks with Herodotus Atlantic proving service
- /data-processor-api/health-check - Health Check. Check the health status of the HDP server, database, and message queues
#### AI Skill
- /skills/data-processor-api - Data Processor API AI Skill (cross-referenced from Skills)
#### Tasks
- /data-processor-api/create-task - Schedule a new task. Create and submit a Data Processor task for verified custom module execution with onchain commitment
- /data-processor-api/list-tasks - List Tasks. Retrieve a paginated list of HDP tasks with optional search and filtering
- /data-processor-api/task-status - Get Task Status. Retrieve the current processing status and details of an HDP task by its UUID
- /data-processor-api/get-task-details - Get Task Details. Retrieve comprehensive details of an HDP task including all metadata and MMRs used
- /data-processor-api/get-mmrs - Get Used MMRs. Retrieve the list of MMRs (Merkle Mountain Ranges) used by a specific task
- /data-processor-api/get-task-output-preimage - Get Task Output Preimage. Retrieve the output tree root preimage for a specific HDP task
- /data-processor-api/retry-task - Retry Task. Retry a failed HDP task from the beginning or retry only decommitment for TaskDecommitmentFailed tasks
- /data-processor-api/decommitment-only - Decommitment Only. Submit a decommitment request for an HDP task when running HDP and generating PIE locally
- /data-processor-api/get-task-state-transitions - Get Task State Transitions. Retrieve the complete state transition history for a specific HDP task
#### Modules
- /data-processor-api/upload-module - Upload Module. Upload a new HDP module with compiled program, source code, and metadata
- /data-processor-api/list-modules - List Modules. Retrieve a list of HDP modules with optional filtering by marketplace or creator
- /data-processor-api/get-module - Get Module. Retrieve detailed information about a specific HDP module by its ID
- /data-processor-api/update-module - Update Module. Update metadata for an existing HDP module
- /data-processor-api/publish-module - Publish Module. Publish an HDP module to the marketplace
- /data-processor-api/unpublish-module - Unpublish Module. Remove an HDP module from the marketplace
- /data-processor-api/get-module-versions - Get Module Versions. Retrieve all versions of a specific HDP module

### Storage Proof API
#### Getting Started
- /storage-proofs-api/introduction - Introduction. Introduction to Storage Proofs
- /storage-proofs-api/use-cases - Use Cases. Storage Proof Use Cases
- /storage-proofs-api/quick-start-guide - Quick Start Guide. Quickly get started with using Storage Proofs
- /storage-proofs-api/key-concepts - Key Concepts. Essential concepts for understanding Storage Proofs including block hashes, inclusion proofs, and zero-knowledge verification
#### AI Skill
- /skills/storage-proof-api - Storage Proof API AI Skill (cross-referenced from Skills)
#### Contracts
- /storage-proofs-api/contracts/accessing-data - Accessing Data On-chain. After API request has finished, access the data on-chain using Satellite contract
- /storage-proofs-api/contracts/example-smart-contract - Example Smart Contract. Example smart contract that uses the Satellite Contract to access Storage Proofs data
- /storage-proofs-api/contracts/contract-addresses - Contract Addresses. Smart contract addresses for verification of Storage Proofs across Ethereum, StarkNet, and other supported chains

### Satellite Contracts
#### Overview
- /satellite-contracts/introduction - Introduction. What Herodotus Satellite Contracts are and why they matter
- /satellite-contracts/for-end-users - For End Users. How to consume proven historical data from Satellite contracts
#### AI Skill
- /skills/satellite-contracts - Satellite Contracts AI Skill (cross-referenced from Skills)
#### Deep Dive
- /satellite-contracts/architecture - Architecture. Satellite design: MMR commitments, proof verification, and contract composition
- /satellite-contracts/module-map - Module Map. Satellite module responsibilities across MMR, proofs, messaging, and operations
- /satellite-contracts/herodotus-stack - How Satellite Powers Herodotus Services. How Satellite connects Storage Proof API, Data Structure Indexer, and HDP
- /satellite-contracts/deployments-and-integration - Deployments and Integration. Where to find deployed satellites, interfaces, and repository resources

### Data Structure Indexer API
#### Data Structure Indexer API
- /data-structure-indexer-api/introduction - Introduction. Overview of the Data Structure Indexer API
#### AI Skill
- /skills/data-structure-indexer-api - Data Structure Indexer API AI Skill (cross-referenced from Skills)

## Machine-readable API specs

- /atlantic-api/openapi-atlantic.json
  - Scope: Atlantic API request/response schemas and endpoint contracts
  - Use when: validating payload shape, query/path parameters, enum values, and error response formats
- /data-processor-api/openapi/openapi-hdp-server.json
  - Scope: HDP Server task/module orchestration API contract
  - Use when: implementing task lifecycle operations, module management, retry/decommitment flows, and status polling
- /storage-proofs-api/openapi-storage-proof-api.json
  - Scope: Storage Proof API contract for proof request lifecycle and related resources
  - Use when: implementing proof requests, checking status transitions, and integrating proof outputs
- /data-structure-indexer-api/openapi-data-structure-indexer-api.json
  - Scope: Data Structure Indexer query contract
  - Use when: retrieving indexer entities and validating query parameters/response objects

When to read OpenAPI vs docs pages:
- Use docs pages first for workflow and conceptual guidance.
- Use OpenAPI files for exact wire contract details (required fields, types, enums, status codes).