# Astral ## Docs - [Develop Locally](https://docs.astral.global/agent-quickstart.md): Everything an AI coding agent needs to get Astral running locally - [POST /compute/v0/area](https://docs.astral.global/api-reference/compute/area.md): Calculate area of a polygon - [POST /compute/v0/contains](https://docs.astral.global/api-reference/compute/contains.md): Check if a geometry is inside another geometry - [POST /compute/v0/distance](https://docs.astral.global/api-reference/compute/distance.md): Calculate distance between two geometries - [POST /compute/v0/intersects](https://docs.astral.global/api-reference/compute/intersects.md): Check if two geometries overlap - [POST /compute/v0/length](https://docs.astral.global/api-reference/compute/length.md): Calculate length of a line - [POST /compute/v0/within](https://docs.astral.global/api-reference/compute/within.md): Check if a geometry is within a radius of another - [API Overview](https://docs.astral.global/api-reference/overview.md): REST APIs for location proof verification and geospatial operations - [Data Types](https://docs.astral.global/api-reference/types.md): Shared data types used across the Astral API - [GET /verify/v0/plugins](https://docs.astral.global/api-reference/verify/plugins.md): List available verification plugins - [POST /verify/v0/proof](https://docs.astral.global/api-reference/verify/proof.md): Verify a location proof with cross-correlation analysis - [POST /verify/v0/stamp](https://docs.astral.global/api-reference/verify/stamp.md): Verify a single location stamp's internal validity - [Astral Location Services](https://docs.astral.global/concepts/astral-location-services.md): The hosted TEE service that runs verification and computation - [Compute](https://docs.astral.global/concepts/compute.md): Geospatial operations inside the TEE — distance, containment, and more - [Overview](https://docs.astral.global/concepts/geocomputation.md): Processing location data with proof of correct execution - [GeoJSON](https://docs.astral.global/concepts/geojson.md): Raw unsigned geospatial data — the simplest input format - [Location Claims](https://docs.astral.global/concepts/location-claims.md): Assertions about the timing and location of an event - [Overview](https://docs.astral.global/concepts/location-data.md): Spatial data in Astral — from raw coordinates to verifiable records - [Location Proof Evaluation](https://docs.astral.global/concepts/location-proof-evaluation.md): How Astral assesses the credibility of a location proof - [Composing Location Proofs](https://docs.astral.global/concepts/location-proof-structure.md): Bundling location stamps with a location claim into a verifiable artifact - [Overview](https://docs.astral.global/concepts/location-proofs.md): Composable, multi-factor evidence that something was somewhere - [Location Records](https://docs.astral.global/concepts/location-records.md): Signed, verifiable location data with attribution and integrity - [Location Stamps](https://docs.astral.global/concepts/location-stamps.md): Evidence from a single proof-of-location system about an observed location - [Proof-of-Location Systems](https://docs.astral.global/concepts/pol-systems.md): Strategies and technologies for producing location evidence - [Privacy](https://docs.astral.global/concepts/privacy.md): Privacy properties of verification and computation - [Signed Results](https://docs.astral.global/concepts/signed-results.md): Output formats from verification and computation — and how to use them - [Verify](https://docs.astral.global/concepts/verify.md): The verification endpoint — submit a location proof, get a verified location proof - [How It Works](https://docs.astral.global/how-it-works.md): The full pipeline from location evidence to signed results - [ERC-8004 + Astral](https://docs.astral.global/integrations/erc-8004.md): Adding verifiable location to autonomous agent validation - [Introduction](https://docs.astral.global/introduction.md): Verifiable location infrastructure for agents, applications, and smart contracts - [Custom Plugins](https://docs.astral.global/plugins/custom.md): Build your own proof-of-location plugin for the Astral SDK - [MockPlugin](https://docs.astral.global/plugins/mock.md): Built-in test plugin for development and testing - [Plugins Overview](https://docs.astral.global/plugins/overview.md): Location proof plugins for the Astral SDK - [ProofMode](https://docs.astral.global/plugins/proofmode.md): Mobile device proofs via the ProofMode app - [WitnessChain](https://docs.astral.global/plugins/witnesschain.md): Infrastructure-based proof-of-location via network latency triangulation - [Quickstart](https://docs.astral.global/quickstart.md): Your first location proof and verified spatial computation in 5 minutes - [Changelog](https://docs.astral.global/resources/changelog.md): What's new in Astral - [FAQ](https://docs.astral.global/resources/faq.md): Frequently asked questions - [Playground](https://docs.astral.global/resources/playground.md): Interactive tool for exploring geospatial operations - [Research](https://docs.astral.global/resources/research.md): Papers, research agenda, and academic context - [Schemas](https://docs.astral.global/resources/schemas.md): EAS schema definitions for Astral attestations - [Staging](https://docs.astral.global/resources/staging.md): Test against the staging API on Base Sepolia - [Compute Module](https://docs.astral.global/sdk/compute.md): Verifiable geospatial computation methods - [EAS Integration](https://docs.astral.global/sdk/eas.md): Ethereum Attestation Service integration - [Installation](https://docs.astral.global/sdk/installation.md): Install and configure the Astral SDK - [Location Module](https://docs.astral.global/sdk/location.md): Offchain and onchain location attestation workflows - [Location Proofs](https://docs.astral.global/sdk/location-proofs.md): Proof construction and multidimensional verification - [Migration Guide](https://docs.astral.global/sdk/migration.md): Migrate from Astral SDK v0.1.x to v0.2.0 - [SDK Overview](https://docs.astral.global/sdk/overview.md): Unified TypeScript SDK for the Astral Protocol - [Plugins](https://docs.astral.global/sdk/plugins.md): Extensible plugin system for proof-of-location integrations - [Stamps Module](https://docs.astral.global/sdk/stamps.md): Evidence collection and stamp creation across registered plugins - [Types](https://docs.astral.global/sdk/types.md): TypeScript type definitions for the Astral SDK ## OpenAPI Specs - [openapi](https://docs.astral.global/api-reference/openapi.json) ## Optional - [GitHub](https://github.com/AstralProtocol) - [Community](https://t.me/+UkTOSXnDcDM5ZTBk)