# Astral

## Docs

- [Introduction](https://docs.astral.global/introduction.md): Verifiable location infrastructure for agents, applications, and smart contracts
- [Quickstart](https://docs.astral.global/quickstart.md): Your first location proof and verified spatial computation in 5 minutes
- [Develop Locally](https://docs.astral.global/agent-quickstart.md): Everything an AI coding agent needs to get Astral running locally
- [How It Works](https://docs.astral.global/how-it-works.md): The full pipeline from location evidence to signed results
- [Overview](https://docs.astral.global/concepts/location-data.md): Spatial data in Astral — from raw coordinates to verifiable records
- [GeoJSON](https://docs.astral.global/concepts/geojson.md): Raw unsigned geospatial data — the simplest input format
- [Location Records](https://docs.astral.global/concepts/location-records.md): Signed, verifiable location data with attribution and integrity
- [Overview](https://docs.astral.global/concepts/location-proofs.md): Composable, multi-factor evidence that something was somewhere
- [Proof-of-Location Systems](https://docs.astral.global/concepts/pol-systems.md): Strategies and technologies for producing location evidence
- [Location Stamps](https://docs.astral.global/concepts/location-stamps.md): Evidence from a single proof-of-location system about an observed location
- [Location Claims](https://docs.astral.global/concepts/location-claims.md): Assertions about the timing and location of an event
- [Composing Location Proofs](https://docs.astral.global/concepts/location-proof-structure.md): Bundling location stamps with a location claim into a verifiable artifact
- [Location Proof Evaluation](https://docs.astral.global/concepts/location-proof-evaluation.md): How Astral assesses the credibility of a location proof
- [Overview](https://docs.astral.global/concepts/geocomputation.md): Processing location data with proof of correct execution
- [Astral Location Services](https://docs.astral.global/concepts/astral-location-services.md): The hosted TEE service that runs verification and computation
- [Verify](https://docs.astral.global/concepts/verify.md): The verification endpoint — submit a location proof, get a verified location proof
- [Compute](https://docs.astral.global/concepts/compute.md): Geospatial operations inside the TEE — distance, containment, and more
- [Signed Results](https://docs.astral.global/concepts/signed-results.md): Output formats from verification and computation — and how to use them
- [Privacy](https://docs.astral.global/concepts/privacy.md): Privacy properties of verification and computation
- [Local Development](https://docs.astral.global/guides/local-development.md): Run Astral locally for development and testing
- [Calling the API](https://docs.astral.global/guides/calling-the-api.md): Request format, authentication, and response handling
- [Verifying Location Proofs](https://docs.astral.global/guides/verifying-location-proofs.md): Submit location proofs and understand credibility scores
- [Agent Integration](https://docs.astral.global/guides/agent-integration.md): Using Astral as a spatial oracle in agent workflows
- [Blockchain Integration](https://docs.astral.global/guides/blockchain-integration.md): Submit verified spatial results onchain via EAS
- [Building Verification Plugins](https://docs.astral.global/guides/building-plugins.md): Connect a new proof-of-location system to Astral
- [Delivery Verification](https://docs.astral.global/use-cases/delivery-verification.md): Escrow that releases when the courier arrives
- [Parametric Insurance](https://docs.astral.global/use-cases/parametric-insurance.md): Policies that trigger based on verified proximity
- [Geofence Compliance](https://docs.astral.global/use-cases/geofence-compliance.md): Prove an asset stayed within an approved boundary
- [Onchain Attestation](https://docs.astral.global/use-cases/onchain-attestation.md): End-to-end blockchain flow from computation to smart contract
- [Local Currency](https://docs.astral.global/guides/geofenced-token.md): Create a token that can only be traded within a geographic region
- [Location-Gated NFT](https://docs.astral.global/guides/location-gated-nft.md): Build an NFT that requires physical presence to mint
- [ERC-8004 + Astral](https://docs.astral.global/integrations/erc-8004.md): Adding verifiable location to autonomous agent validation
- [Architecture](https://docs.astral.global/trust-model/architecture.md): TEE, PostGIS, and the stateless execution model
- [What Is Verified](https://docs.astral.global/trust-model/what-is-verified.md): What the signature covers and what computation reproducibility means
- [What You Are Trusting](https://docs.astral.global/trust-model/what-you-are-trusting.md): Honest accounting of current assumptions and the path forward
- [Security Considerations](https://docs.astral.global/trust-model/security.md): Threat model, known limitations, and responsible disclosure
- [Playground](https://docs.astral.global/resources/playground.md): Interactive tool for exploring geospatial operations
- [Staging](https://docs.astral.global/resources/staging.md): Test against the staging API on Base Sepolia
- [Schemas](https://docs.astral.global/resources/schemas.md): EAS schema definitions for Astral attestations
- [Research](https://docs.astral.global/resources/research.md): Papers, research agenda, and academic context
- [Roadmap](https://docs.astral.global/resources/roadmap.md): What's built, what's coming, and what's missing
- [FAQ](https://docs.astral.global/resources/faq.md): Frequently asked questions
- [Changelog](https://docs.astral.global/resources/changelog.md): What's new in Astral
- [Plugins Overview](https://docs.astral.global/plugins/overview.md): Location proof plugins for the Astral SDK
- [MockPlugin](https://docs.astral.global/plugins/mock.md): Built-in test plugin for development and testing
- [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
- [Custom Plugins](https://docs.astral.global/plugins/custom.md): Build your own proof-of-location plugin for the Astral SDK
- [SDK Overview](https://docs.astral.global/sdk/overview.md): Unified TypeScript SDK for the Astral Protocol
- [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
- [Stamps Module](https://docs.astral.global/sdk/stamps.md): Evidence collection and stamp creation across registered plugins
- [Location Proofs](https://docs.astral.global/sdk/location-proofs.md): Proof construction and multidimensional verification
- [Plugins](https://docs.astral.global/sdk/plugins.md): Extensible plugin system for proof-of-location integrations
- [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
- [Types](https://docs.astral.global/sdk/types.md): TypeScript type definitions for the Astral SDK
- [Migration Guide](https://docs.astral.global/sdk/migration.md): Migrate from Astral SDK v0.1.x to v0.2.0
- [API Overview](https://docs.astral.global/api-reference/overview.md): REST APIs for location proof verification and geospatial operations
- [POST /verify/v0/stamp](https://docs.astral.global/api-reference/verify/stamp.md): Verify a single location stamp's internal validity
- [POST /verify/v0/proof](https://docs.astral.global/api-reference/verify/proof.md): Verify a location proof with cross-correlation analysis
- [GET /verify/v0/plugins](https://docs.astral.global/api-reference/verify/plugins.md): List available verification plugins
- [POST /compute/v0/distance](https://docs.astral.global/api-reference/compute/distance.md): Calculate distance between two geometries
- [POST /compute/v0/area](https://docs.astral.global/api-reference/compute/area.md): Calculate area of a polygon
- [POST /compute/v0/length](https://docs.astral.global/api-reference/compute/length.md): Calculate length of a line
- [POST /compute/v0/contains](https://docs.astral.global/api-reference/compute/contains.md): Check if a geometry is inside another geometry
- [POST /compute/v0/within](https://docs.astral.global/api-reference/compute/within.md): Check if a geometry is within a radius of another
- [POST /compute/v0/intersects](https://docs.astral.global/api-reference/compute/intersects.md): Check if two geometries overlap
- [Data Types](https://docs.astral.global/api-reference/types.md): Shared data types used across the Astral API

## OpenAPI Specs

- [openapi](https://docs.astral.global/api-reference/openapi.json)

## Optional

- [GitHub](https://github.com/AstralProtocol)
- [Community](https://t.me/+UkTOSXnDcDM5ZTBk)