CtrlK
BlogDocsLog inGet started
Tessl Logo

ainativedev/aidevcon-2026-ldn

AI Native DevCon 2026 London — all conference sessions as interactive skills

69

Quality

86%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

Low

Low-risk findings worth noting

Overview
Quality
Evals
Security
Files

outline.mdtalk-azriel-executable-specs/

Outline -- Executable Specs: Building a Verification Layer for Agentic Coding

Speaker: Shachar Azriel (Baz)

Thesis

Shachar Azriel describes spec review as a verification architecture: requirements are made testable, evidence is mapped explicitly, and product gaps are surfaced when implementation and intent diverge.

Concept Map

  1. Executable specs
  2. Verification layer
  3. Planner and verifier separation
  4. Requirement mapping
  5. Product-gap detection
  6. Runtime verification boundaries

Available Source Detail

The bundled transcript is redacted to conceptual material. Use it for advisory explanations, design framing, and high-level Q&A. It does not contain executable mechanics or full live-demo detail.

talk-azriel-executable-specs

README.md

tile.json