# AdaCore

**Canonical:** https://apis.io/providers/adacore/  
**Website:** https://www.adacore.com  
**APIs profiled:** 0

AdaCore is a software company with more than 30 years of experience building compilation, static and dynamic analysis, and formal-verification toolchains for reliable, safe, and secure software in safety- and mission-critical systems. Its product line includes GNAT Pro (Ada, C/C++, and Rust compilation), SPARK Pro (formal proof), GNAT Static Analysis, CodeSonar for C/C++, the GNAT Dynamic Analysis Suite, and the GNAT Studio IDE together with the open-source Ada Language Server and VS Code extension. AdaCore tooling is used across aerospace, defense, rail, automotive, energy, telecommunications, finance, and medical-device industries. AdaCore is a compiler and toolchain vendor and does not publish a hosted REST API or API client SDKs; this API Evangelist profile catalogs its developer tooling, packages, and public developer resources. It was surfaced as a portfolio company of Battery Ventures.

## Kin Score — 15.8 / 100 (emerging)

Scored 2026-08-20 under rubric 0.12.0. Trend: flat (+0.0 from 15.8).

| Facet | Score |
|---|---|
| Discoverability | 57.4 |
| Contract Quality | 0.0 |
| Governance | 0.0 |
| Contract Governance | 0.0 |
| Operational Transparency | 18.4 |
| Developer Ergonomics | 38.1 |
| Commercial Clarity | 0.0 |
| Access Clarity | 0.0 |

## Agent readiness — 0.0 (human-only)

| Dimension | Value |
|---|---|
| Spec Presence | no |
| Agentic Access | no |
| Reversibility Documented | no |
| MCP Server | no |
| Auth Clarity | no |
| Idempotency | no |
| Error Semantics | no |
| OpenAPI Examples | no |
| Rate Limit Signal | no |
| Event Surface Described | no |
| Agent Skills | no |
| Well Known Catalog | no |
| Consent Identity | no |
| Agent Card | no |
| Dry Run Mode | no |

## Access

Unknown — onboarding: unknown, pricing: unknown, trial: no (confidence: low).

## Security (1)

- **Adacore Domain Security** — TLSv1.3 · HSTS · DNSSEC · DMARC

## Tags

Company, ADA, Spark, Rust, Compilers, Static Analysis, Formal Verification, Developer Tools, Safety-Critical

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/providers/adacore/). Scores are computed from the provider's own public artifacts under a published rubric.