> ## Documentation Index
> Fetch the complete documentation index at: https://docs.herodotus.cloud/llms.txt
> Use this file to discover all available pages before exploring further.

# Deployments and Integration

> Where to find deployed satellites, interfaces, and repository resources

## Canonical repository

Satellite source code and deployment metadata live in:

* [HerodotusDev/satellite](https://github.com/HerodotusDev/satellite)

## Deployed contract sets

The repository includes environment deployment manifests:

* `deployments/prod.json`
* `deployments/stage.json`

These files map chain IDs to satellite contract addresses and known cross-chain connections.

## Interface entry points

For Solidity integrations, start from:

* `solidity/src/interfaces/ISatellite.sol`

This interface aggregates module surfaces, including:

* fact reads/proving interfaces,
* MMR state and growth operations,
* messaging and registry functions,
* data processor task authentication methods.

## Importing into your project

### NPM dependency

```bash theme={null}
npm install https://github.com/HerodotusDev/satellite
```

```solidity theme={null}
import { ISatellite } from "@HerodotusDev/satellite/solidity/src/interfaces/ISatellite.sol";
```

### Foundry dependency

```bash theme={null}
forge install HerodotusDev/satellite
```

```solidity theme={null}
import { ISatellite } from "lib/satellite/solidity/src/interfaces/ISatellite.sol";
```

With remapping:

```toml theme={null}
remappings = [
  "@HerodotusDev/satellite/=lib/satellite/",
]
```

## Recommended reading path

For practical integration:

1. Read [For End Users](/satellite-contracts/for-end-users).
2. Review [Storage Proof API Contracts docs](/storage-proofs-api/contracts/accessing-data).
3. Use environment deployment manifests for target chain addresses.
4. Integrate only the specific read/prove surfaces your contract needs.