Aleo Programs API

Deployed program and mapping queries

Operations 3

GET /{network}/program/{programId} Get program source #
GET /{network}/program/{programId}/mappings List a program's mapping names #
GET /{network}/program/{programId}/mapping/{mappingName}/{key} Get a mapping value #

Work with this as data

Every API here is available over the APIs.io API and to AI agents over MCP.

MCP server

One button, every client — Claude, Cursor, VS Code and the rest.

https://apis.io/mcp

Tools for apis

7 MCP tools reach this
  • find_apisBrowse and filter every API in the catalog.
  • get_api_artifactsOne API's artifacts, grouped by type.
  • get_openapiThe primary OpenAPI for this API.
  • find_similar_apisAPIs that look like this one.
  • apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.
  • resolveTurn a domain, URL or GitHub org into the provider it belongs to.
  • find_cohortsEvery scored population of providers in the catalog.
All 92 tools →

Call it yourself

curl for this page
This API
curl "https://apis.io/api/v1/apis/aleo-programs-api"
All apis
curl "https://apis.io/api/v1/apis?limit=25"

Discovery needs no key. Ratings and market analysis are Pro.

Get an API key

Free tier, no form to fill in. Signing in shares your email address with us — we store it to create your key and to recognise you if you sign in with another provider. See our Privacy Policy and Terms.

A second provider on the same verified email joins the account you already have.

OpenAPI Specification

aleo-programs-api-openapi.yml Raw ↑
openapi: 3.2.0
info:
  title: Aleo Node REST Blocks Programs API
  description: The public REST API exposed by Aleo network nodes (snarkOS), served through Provable's public gateway at api.explorer.provable.com. It provides read access to on-chain state — the latest block height/hash/state root, blocks and their transactions, deployed programs and their mappings, and the current validator committee — plus a broadcast endpoint for submitting signed transactions to the network. The API is unauthenticated and read-only for query endpoints. Endpoints were verified live against the mainnet gateway; the route surface follows the snarkOS node REST implementation.
  version: v1
  contact:
    name: Provable / Aleo Developer Community
    url: https://docs.aleo.org/
  license:
    name: Apache-2.0
    url: https://github.com/ProvableHQ/snarkOS/blob/staging/LICENSE.md
servers:
- url: https://api.explorer.provable.com/v1
  description: Provable public gateway (mainnet + testnet)
tags:
- name: Programs
  description: Deployed program and mapping queries
paths:
  /{network}/program/{programId}:
    get:
      operationId: getProgram
      tags:
      - Programs
      summary: Get program source
      description: Returns the Aleo instructions (bytecode) for the deployed program with the given program ID, e.g. credits.aleo.
      parameters:
      - $ref: '#/components/parameters/Network'
      - name: programId
        in: path
        required: true
        description: Program ID, e.g. credits.aleo.
        schema:
          type: string
        example: credits.aleo
      responses:
        '200':
          description: The program source.
          content:
            application/json:
              schema:
                type: string
        '404':
          description: Program not found.
  /{network}/program/{programId}/mappings:
    get:
      operationId: getProgramMappings
      tags:
      - Programs
      summary: List a program's mapping names
      description: Returns the names of the mappings declared by the program.
      parameters:
      - $ref: '#/components/parameters/Network'
      - name: programId
        in: path
        required: true
        schema:
          type: string
        example: credits.aleo
      responses:
        '200':
          description: The mapping names.
          content:
            application/json:
              schema:
                type: array
                items:
                  type: string
  /{network}/program/{programId}/mapping/{mappingName}/{key}:
    get:
      operationId: getMappingValue
      tags:
      - Programs
      summary: Get a mapping value
      description: Returns the value stored under the given key in the named mapping of the program (e.g. the account balance in credits.aleo/account).
      parameters:
      - $ref: '#/components/parameters/Network'
      - name: programId
        in: path
        required: true
        schema:
          type: string
        example: credits.aleo
      - name: mappingName
        in: path
        required: true
        schema:
          type: string
        example: account
      - name: key
        in: path
        required: true
        description: The mapping key (e.g. an Aleo address).
        schema:
          type: string
      responses:
        '200':
          description: The mapping value (null if unset).
          content:
            application/json:
              schema:
                type:
                - string
                - 'null'
components:
  parameters:
    Network:
      name: network
      in: path
      required: true
      description: The Aleo network to query.
      schema:
        type: string
        enum:
        - mainnet
        - testnet
        default: mainnet
externalDocs:
  description: Aleo developer documentation
  url: https://docs.aleo.org/