AdaCore

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.

AdaCore is profiled on the APIs.io network. Tagged areas include Company, Ada, SPARK, Rust, and Compilers.

AdaCore’s developer surface includes documentation, getting-started guide, engineering blog, support, and 9 more developer resources.

🌐 Visit website 📡 Source on GitHub

15.1/100 emerging ▬ flat Agent 4/100 human only Full breakdown ↓
scored 2026-07-27 · rubric v0.5

0 APIs

CompanyAdaSPARKRustCompilersStatic AnalysisFormal VerificationDeveloper ToolsSafety-Critical

Kin Score

Kin Score How this is scored →
scored 2026-07-27 · rubric v0.5

Composite quality — 15.1/100 · emerging

Contract Quality 0.0 / 25

Developer Ergonomics 7.0 / 20

Commercial Clarity 0.0 / 20

Operational Transparency 1.4 / 13

Governance 0.0 / 12

Discoverability 6.8 / 10

Agent readiness — 4/100 · human only

Machine-Readable Contract 0 / 18

Agentic Access Contract 0 / 15

MCP Server 0 / 12

Machine-Readable Auth 0 / 10

Idempotency 0 / 9

Stable Error Semantics 0 / 8

Request/Response Examples 0 / 7

Rate-Limit Signaling 0 / 7

Typed Event Surface 0 / 6

Agent Skills 0 / 5

Well-Known Catalog 4 / 4

Consent & Bot Identity 0 / 3

Improve this rating by publishing the missing artifacts — every area above can be raised, and the full rubric is at apis.io/rating/. This rating is computed from github.com/api-evangelist/adacore: open an issue to ask a question, or submit a pull request to add artifacts. Want it done for you? Prioritized profiling — $2,500 →

Get Started 2

Portal, sign-up, and the first successful call

GettingStarted

GettingStarted

DeveloperPortal

DeveloperPortal

Documentation 1

Reference material describing how the API behaves

Documentation

Documentation

Agent Surfaces 2

MCP servers, agent skills, and machine-readable catalogs

LLMsTxt

LLMsTxt

WellKnown

WellKnown

Build 3

SDKs, sample code, and the tooling you integrate with

Packages

Packages

GitHubOrganization

GitHubOrganization

SourceCode

SourceCode

Access & Security 1

Authentication, authorization, and security posture

DomainSecurity

DomainSecurity

Operate 2

Status, limits, changes, and where to get help

Support

Support

Roadmap

Roadmap

Company 2

The organization behind the API

Blog

Blog

Website

Website

Source (apis.yml)

aid: adacore
accessModel:
  pricing: unknown
  onboarding: unknown
  trial: false
  try_now: false
  public: false
  label: Unknown
  confidence: low
  source: []
  generated: '2026-07-22'
  method: derived
image: https://kinlane-images.s3.amazonaws.com/shared/apis-json/icons/adacore.png
name: AdaCore
description: 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.
url: https://raw.githubusercontent.com/api-evangelist/adacore/refs/heads/main/apis.yml
x-type: company
x-source: vc-portfolio
x-backed-by:
- battery-ventures
x-tier: enriched
x-tier-reason: portfolio-lead
specificationVersion: '0.20'
created: '2026-07-17'
modified: '2026-07-17'
tags:
- Company
- Ada
- SPARK
- Rust
- Compilers
- Static Analysis
- Formal Verification
- Developer Tools
- Safety-Critical
apis: []
common:
- type: DomainSecurity
  url: security/adacore-domain-security.yml
- type: Packages
  url: packages/adacore-packages.yml
- type: LLMsTxt
  url: llms/adacore-llms.txt
- type: Documentation
  url: https://www.adacore.com/documentation
- type: GettingStarted
  url: https://learn.adacore.com/
- type: Blog
  url: https://www.adacore.com/blog
- type: Support
  url: https://support.adacore.com/csm
- type: GitHubOrganization
  url: https://github.com/adacore
- type: SourceCode
  url: https://github.com/AdaCore/ada_language_server
- type: Website
  url: https://www.adacore.com
- type: DeveloperPortal
  url: https://www.adacore.com/resources
- type: Roadmap
  url: https://www.adacore.com/documentation/roadmap
- type: WellKnown
  url: well-known/adacore-well-known.yml
maintainers:
- FN: Kin Lane
  email: kin@apievangelist.com
- FN: APIs.json
  email: info@apis.io
x-enrichment:
  date: '2026-07-19'
  status: backfilled
  pass: local-v1
  note: backfilled from .gitignore signal + verified work evidence