Atlantic Prover Suite
Getting Started
How to get started with the Atlantic API
Sign in with GitHub
- Navigate to https://www.herodotus.cloud/
- Click ‘Start with Github’ and Authorize ‘HerodotusDev’
- Once authorized, you will be redirected to the dashboard.
Obtain your API Key
- In the sidebar, click on ‘API KEYS’.
- Click on ‘Copy’ next to your API key or generate a new one.
Keep this key secure as it grants you access to performing queries
Apply for credits
Before sending any queries, you need to apply for credits at https://herodotus.dev/contact-us