# LASDK — Local Agentic Software Delivery Kit > LASDK turns any AI coding agent into a governed software-development lifecycle that runs on your own machine and refuses unproven "Done." It is the proof-before-Done layer that sits ABOVE any AI harness (Claude Code, Codex, or a hand-rolled loop) and decides whether a completion claim is admissible — on obligation coverage, provenance, and witness-backed evidence — then withholds Done until it is earned. Local-first, provider-agnostic, bring-your-own-model. ## What it is - A small governed, evidence-bound core — NOT an AI model and NOT a workflow engine. You bring your own LLM subscription + AI coding CLI; LASDK drives it locally. - Runs an AI-first SDLC: Signal → Contract → Architecture → Implementation → independent Critic → Audit. Four stages call your model; Signal and Audit are deterministic (no model call). - Emits ARTIFACT_READY / REFUSE_DONE / NEEDS_HUMAN — proof-before-Done over whatever produced the work. - Everything runs locally; code never leaves your machine unless you ship it. Evidence is signed and re-verifiable. ## Who it's for - LASDK is PAID professional software. Free: diagnostics (lasdk doctor, --help, version, provider preflight), the judgement commands lasdk assess and lasdk certify, docs, recorded demos. Paid (require an active subscription): governed builds, critic runs, evidence generation, earned Done, workflow execution, owner-risk autopilot (lasdk autopilot --yolo). No permanent free productive tier. A controlled 24-hour full Pro trial starts only after explicit activation and successful provider preflight. - Pro — $13/month founding (first 100 customers; standard $19/month afterward, no annual required), one professional: the full governed SDLC (Signal→Contract→Architecture→Implementation→Critic→Audit), earned Done, signed evidence + candidate sealing, all production roles, personal SDLC profiles, commercial use, two activated devices. Bring your own model; LASDK adds no token markup or usage credits. Pro evidence is real and re-verifiable, but attested under the developer's own local authority. - Team — $24/seat/month: everything in Pro plus three capabilities Pro does not have — organization-signed, versioned SDLC profiles with a policy floor an individual cannot weaken, and every governed run binds to the org's approved policy (its hash is recorded); hosted, independently-verifiable acceptance records a reviewer/client/CI can check without trusting you; and a shared team registry with named seats. Commands: lasdk org-profile, lasdk publish-acceptance, lasdk team. - First Governed Run Guarantee: if a confirmed LASDK defect prevents your first supported governed run from completing, contact within 7 days for help or a refund of the first payment. Cancel renewal anytime; access continues to the end of the paid period; your code and evidence remain yours. ## Key concepts - Proof-before-Done: "A completed workflow is not completed work." A run is Done only if its obligations are covered by witness-backed evidence. - Governed mode vs assist mode: in governed mode LASDK launches and controls the run itself — delivery credentials scrubbed, artifact-only (can't write your tree), can't reach Done without passing the gate. - Role bundles: 12 least-privilege role definitions (backend, frontend, QA, security, product, governance, …), each scoped to one job with its own flow to a gated Done. ## Requirements - An active LLM subscription or API access (e.g. Claude, or OpenAI/Codex). - A supported AI coding CLI installed (Claude Code, Codex, …). Run `lasdk doctor` to check both. LASDK includes no model. ## Links - Home: https://lasdk.siklabcore.com/ - Live dogfood control tower (real governed runs): https://lasdk.siklabcore.com/samples/control-tower - Pricing: https://lasdk.siklabcore.com/#pricing - Knowledge base / docs: https://bakunawa-siklabcore.github.io/lasdk-docs/ Maker: Siklab Core (Philippines). Contact: lasdk@siklabcore.com