Lean · Domain Security

Lean Domain Security

Domain security

Domain security posture for Lean, probed live across 1 host(s) and 1 registrable domain(s). 1 host(s) serve HTTPS (up to TLSv1.3); 1 advertise HSTS. Email/DNS controls: DNSSEC present, SPF absent, DMARC absent.

Dependent TypesFormal VerificationProgramming LanguageTheorem Prover

Transport & Host Security

lean-lang.org
HTTPS: yes · TLS: TLSv1.3 · HSTS: yes · cert expires: Sep 22 07:03:47 2026 GMT

Domain (DNS/Email) Security

lean-lang.org
DNSSEC: yes · SPF: no · DMARC: no · CAA: none

Source

Domain Security

lean-domain-security.yml Raw ↑ 
generated: '2026-07-11'
method: probed
source: live DNS/TLS/HTTP probes of apis.yml + OpenAPI hosts
hosts:
- host: lean-lang.org
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep 22 07:03:47 2026 GMT
  hsts: true
  hsts_max_age: 31536000
domains:
- domain: lean-lang.org
  dnssec: true
  caa: []
  spf: false
  dmarc: false

Work with this as data

Every security artifact here is available over the APIs.io API and to AI agents over MCP.

MCP server

One button, every client — Claude, Cursor, VS Code and the rest.

https://apis.io/mcp

Tools for security posture

4 MCP tools reach this
  • find_securityBrowse and filter every security artifact in the catalog.
  • apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.
  • resolveTurn a domain, URL or GitHub org into the provider it belongs to.
  • find_cohortsEvery scored population of providers in the catalog.
All 92 tools →

Call it yourself

curl for this page
This security artifact 
curl "https://apis.io/api/v1/security/lean-domain-security"
All security posture 
curl "https://apis.io/api/v1/security?limit=25"

Discovery needs no key. Ratings and market analysis are Pro.

Get an API key

Free tier, no email required.

GitHub Google LinkedIn

A second provider on the same verified email joins the account you already have.