IntentLang + SkillsTech Compiler Operating Checklist
The biggest truth: IntentLang only wins if developers stop seeing it as "prompt engineering" and start seeing it as the durable contract layer for AI-era software.
The first wedge stays: write a
.intentfile, runintent build, and get docs, diagrams, test plans, semantic warnings, and proof without AI.
The winning strategy is not "IntentLang generates apps from prompts." It is: IntentLang becomes the standard way AI-era engineers define, verify, explain, and prove what software is supposed to do.
The top 20 that matter most
- Do not be "just prompts."
- Compiler must work without AI.
- First demo must be docs, diagrams, tests, proof.
.intentfiles must be readable.- Diagnostics must be excellent.
- Verification must be central.
- Proof must be first-class.
- Intent Drift must be a flagship concept.
- OpenThunder must verify implementation against intent.
- Repo Mastery must teach the mission.
- SkillsTech Talk must help defend the mission.
- SkillsTech Certified must certify intent-oriented thinking.
- Workspace must store and sign proof.
- IDE support must be excellent.
- CLI must feel professional.
- Examples must be real-world.
- Adoption must be incremental.
- Existing languages must be targets, not enemies.
- AI must be optional and traceable.
- Repeat the category until it sticks: Intent-Oriented Programming.
The 100
Positioning and category creation (1-10)
- Own the category: Intent-Oriented Programming.
- Avoid the prompt-wrapper trap.
- Keep the philosophy simple: Prompt to Intent to Contract to Plan to Implementation to Verification to Proof.
- Make the first demo obvious (CreateInvoice.intent to
intent buildto artifacts). - Start above existing languages, not against them.
- Promise trust, not magic.
- Strong one-liner: "IntentLang is the intent language for AI-era software."
- Developer-friendly identity:
IntentLang,.intent,intent check/build/proof. - Create a cultural identity around ownership and verification.
- Make it usable before it is ambitious (useful without code generation).
Language design (11-25)
- Small core syntax: mission, goal, why, input, output, guarantees, never, target, verify.
- Files readable by humans (and AI agents).
- Semantic types (Email, Money, Secret, Token, IdempotencyKey, TraceId).
- Security first-class (Secret, PII, NeverLog, NeverReturn, Encrypted, AuditRequired).
- Make
neverrules central. - Support
why/becauseto capture judgment. - Readable human intent first.
- Typed intent later.
- Executable intent later.
- Architecture as code (services, APIs, events, databases, owners, boundaries).
- Behavior-first tests (given/when/then).
- Target styles (DotNet + CleanArchitecture, TypeScript + Fastify, Java + SpringBoot).
- Avoid too much syntax too soon.
- Forgiving syntax with great diagnostics over strict cleverness.
- Version the language and proof artifacts.
Deterministic compiler foundation (26-40)
- Compiler runs without AI (
--no-ainon-negotiable). - A real parser with source locations and diagnostics.
- A typed AST for every construct.
- Excellent diagnostics that teach.
- Stable, deterministic output.
- Generate Markdown docs first.
- Generate Mermaid diagrams first.
- Generate test plans first.
- Generate proof JSON first.
- Generate contract-graph.json.
- Generate architecture-graph.json.
- Generate OpenAPI drafts when an
apiblock exists. - Modular generators (adapters).
- Do not hardcode one target language.
- Ship a useful CLI: check, docs, graph, testplan, proof, build.
Verification and proof (41-55)
- Verification is the heart of the language.
- Track verified / planned / missing / stale guarantees.
- Treat never rules as verification requirements.
- Proof artifacts by default (even draft).
- Include source hashes in proof.
- Include compiler version in proof.
- Include output hashes in proof.
- Include AI metadata only when AI is used.
- Support human approval state.
- Clear proof status: draft, verified, partial, stale, failed, approved.
- Proof is safe-derived (no private source leak).
- Proof useful to Workspace (store and sign).
- Proof useful to OpenThunder (drift).
- Proof useful to Repo Mastery (teach ownership).
- Proof shareable without leaking code.
AI-age best practices (56-70)
- Never go prompt directly to production code.
- Prompt-to-Intent is an assist feature, not the language.
- AI optional at every stage.
- Track prompt hashes.
- Track input and output hashes.
- Require explicit approval for AI-generated artifacts.
- Model-provider flexibility (OpenAI, Anthropic, Gemini, local, future).
- Separate Compiler (deterministic) from Runtime (AI routing).
- Support privacy modes.
- Detect hallucinated dependencies (later).
- Require structured output for AI-assisted steps.
- Eval AI output before accepting it.
- AI for suggestions, not truth.
- Make AI usage visible in proof.
- Human ownership is the philosophy.
Ecosystem integration (71-85)
- OpenThunder detects Intent Drift.
- Intent Drift is a flagship concept.
- OpenThunder verifies guarantees against repo evidence.
- OpenThunder extends Can-I-Ship with Intent.
- Repo Mastery teaches missions.
- Repo Mastery generates flashcards from intent.
- Repo Mastery creates Intent Reality Checks.
- SkillsTech Talk creates Intent defense drills.
- SkillsTech Certified creates an Intent-Oriented Programming track.
- SkillsTech IDE provides first-class
.intentediting. - Workspace stores signed proof.
- SkillsTech Social shares safe milestones.
- Runtime supports Prompt-to-Intent via task contracts.
- Shared contracts are versioned (intent-proof-v1, intent-drift-report-v1, ...).
- Every sibling knows its boundary.
Distribution, community, flywheel (86-100)
- A beautiful, serious website at intentlanguage.dev.
- A strong manifesto.
- A 20-minute tutorial that ends with docs, graph, test plan, and proof.
- A playground that shows generated artifacts instantly.
- A VS Code extension (highlight, diagnostics, run, preview).
- Ten excellent examples (reset password, create invoice, RAG pipeline, webhook handler, event-driven billing, auth API, file upload, AI agent task, data pipeline, deployment policy).
- Comparison pages (vs prompts, BDD, OpenAPI, Mermaid, ADRs, UML, Terraform, TypeScript, Python).
- A GitHub template repo: intentlang-starter.
- An install path:
npm install -g intentlangor equivalent. - CI usage:
intent checkin GitHub Actions. - Intent Drift demos (OpenThunder catching drift after code changes).
- Weekly content (ownership, verification, prompt-to-intent, drift).
- Build in public.
- Recruit early champions (architects, senior engineers, AI engineers, dev-tool builders).
- Stay alive long enough to become trusted.