Developers

API & Data Integration

Access machine-readable verification records and integrate auditing into your own CI/CD pipelines.

The Nano Proof Auditor is built to be programmatically queryable. You can fetch unified verification logs directly to build IDE plugins, verify package dependencies, or enforce verification gates on pull requests.

1. Static JSON Endpoints

We publish regular updates of the entire mathematical registry catalog and search indexes in JSON format:

/npa/catalog.json
/npa/search-index.en.json
/npa/search-index.ja.json
/npa/search-index.zh.json

2. Automated Audit Scripts

Use these scripts to verify your package dependencies programmatically during builds:

curl -fsSL https://finitefield.org/npa/catalog.json
npa package verify-certs --root . --checker reference --json