v0.7.0-beta.1

What's Changed

• Add VSCode extension and LSP server by @krakenhavoc in #41
• Update docs for VSCode extension and LSP server by @krakenhavoc in #42
• Add Cursor editor support with AI rules files by @krakenhavoc in #43
• Add CLI docs for init, completions, serve; agentic engineering messaging by @krakenhavoc in #44
• Add skeleton code generator (Rust, TypeScript, Python) by @krakenhavoc in #45
• Add origin story section to README by @krakenhavoc in #46
• Add Go codegen target by @krakenhavoc in #47
• Add spec-level testing with intent test command by @krakenhavoc in #48
• Add OpenAPI 3.0 spec generation by @krakenhavoc in #49
• Add caching to Docker and docs workflows by @krakenhavoc in #50
• Add intent implement for AI-powered code generation by @krakenhavoc in #51
• Add Java, C#, and Swift skeleton code generators by @krakenhavoc in #52
• Add contract test harness for tighter implement loop by @krakenhavoc in #53
• Beta milestone: full-stack validation system by @krakenhavoc in #55

Full Changelog: v0.6.0-beta.1...v0.7.0-beta.1

v0.6.0-beta.1

What's Changed

• Improve intent generate: --debug flag, better prompts by @krakenhavoc in #37
• Add module imports (Phase 7): use syntax, resolver, cross-module type checking by @krakenhavoc in #38
• Update docs and prompts for Phase 7 completion by @krakenhavoc in #39
• Release v0.6.0-beta.1 by @krakenhavoc in #40

Full Changelog: v0.5.0-alpha.1...v0.6.0-beta.1

v0.5.0-alpha.1

What's Changed

• Add crates.io/docs badges and documentation URL by @krakenhavoc in #22
• Update docs site for Phase 4 by @krakenhavoc in #23
• Implement list literal expressions by @krakenhavoc in #24
• Phase 5: fmt, init, completions, and language polish by @krakenhavoc in #25
• Add per-crate READMEs for crates.io pages by @krakenhavoc in #26
• Add Layer 0 (natural language) architecture and getting-started IR by @krakenhavoc in #27
• Add intent-gen crate: NL to .intent spec generation (Layer 0) by @krakenhavoc in #28
• Update roadmap: Phase 6 runtime, Phase 7 imports, self-hosting goal by @krakenhavoc in #29
• Add Docker workflow for GHCR and .env.example by @krakenhavoc in #30
• Fix Docker build: bump Rust to 1.87, remove let-chains by @krakenhavoc in #31
• Add intent-runtime crate: stateless runtime (Phase 6) by @krakenhavoc in #32
• Bump version to v0.5.0-alpha.1 by @krakenhavoc in #33
• Fix release workflow: add intent-gen and intent-runtime to publish order by @krakenhavoc in #34
• Add progress messages to intent generate by @krakenhavoc in #35
• Fix release workflow: make publish idempotent by @krakenhavoc in #36

Full Changelog: v0.4.0-alpha.1...v0.5.0-alpha.1

v0.4.0-alpha.1

What's Changed

• Add automated release workflow for crates.io by @krakenhavoc in #16
• Add agent API: JSON output and query subcommand by @krakenhavoc in #17
• Add docs site with mdBook and GitHub Pages by @krakenhavoc in #18
• Fix mdBook download URL in docs workflow by @krakenhavoc in #19
• Add incremental verification and multi-agent collaboration by @krakenhavoc in #20
• Release v0.4.0-alpha.1 — Phase 4 complete by @krakenhavoc in #21

Full Changelog: v0.3.0-alpha.1...v0.4.0-alpha.1

v0.3.0-alpha.1 — Phase 3: Audit Bridge

Phase 3: Audit Bridge

The audit bridge completes the three-layer architecture: Intent specs → Agent IR → Audit tooling that maps between them so humans can verify agent work at the spec level.

New Features

Trace Maps (intent audit <file>)

• Tree-view mapping from spec items (entities, actions, invariants, edge cases) to their IR constructs
• Source line numbers for every spec item and sub-item
• Related verification obligations shown inline

Coverage Analysis (intent coverage <file>)

• Counts spec items by category: entities, fields, actions, params, preconditions, postconditions, properties, invariants, edge guards
• Verification status (clean or error count)
• Obligation summary

Diff Reporting (intent diff <old> <new>)

• Structured spec-level diffs showing [+] added, [-] removed, [~] modified items
• Sub-item detail within modified entries (field type changes, new conditions, etc.)
• Coverage deltas, verification status changes, obligation changes

Stats

• 90 tests (26 checker + 14 parser + 50 IR)
• 15 PRs merged
• All 5 crates published to crates.io

CLI Commands

intent check <file>       # Parse and validate
intent render <file>      # Render to Markdown
intent render-html <file> # Render to HTML
intent compile <file>     # Compile to IR (JSON)
intent verify <file>      # Structural verification
intent audit <file>       # Trace map
intent coverage <file>    # Coverage summary
intent diff <old> <new>   # Spec-level diff

v0.2.0-alpha.1 — Phase 2: Agent IR Foundation

Phase 2: Agent IR Foundation

IntentLang now compiles .intent specs to a typed intermediate representation and verifies structural + logical correctness.

New: intent compile

Lowers intent specs to Agent IR and outputs JSON:

intent compile examples/transfer.intent

New: intent verify

Runs semantic checks, structural verification, and coherence analysis:

$ intent verify examples/transfer.intent
VERIFIED: TransferFunds — 2 function(s), 2 invariant(s), 2 struct(s)

Verification obligations:
  - Transfer modifies Account.{balance} (constrained by NoNegativeBalances)
  - Transfer must satisfy temporal property TransferConservation

What's in the IR

• Entities → Structs with typed fields
• Actions → Functions with params, pre/postconditions, properties
• Invariants with quantifier expressions
• Edge cases → Guards with conditions and actions
• Every node carries SourceTrace for future audit bridge

Verification checks

• Bound variable analysis (with union variant and domain function awareness)
• old() placement (postconditions and temporal invariants only)
• Quantifier type resolution (entities and actions)
• Postcondition connectivity (must reference parameters)
• Coherence analysis: invariant-action field coverage and temporal property obligations

Stats

• 68 tests (26 checker + 14 parser + 28 IR)
• 5 crates: intent-parser, intent-check, intent-render, intent-ir, intent-cli
• 6 CLI commands: check, render, render-html, compile, verify

Install

cargo install --git https://github.com/krakenhavoc/IntentLang intent-cli

v0.1.0-alpha.1 — Phase 1 MVP

IntentLang v0.1.0-alpha.1

First pre-release of the IntentLang specification toolchain. Phase 1 MVP is feature-complete.

What's included

• Parser: PEG grammar (pest) producing a typed AST for the full intent language syntax
• Semantic checker: Six-pass analysis — duplicate detection, type resolution, field access validation, quantifier types, edge case actions, constraint validation
• Renderers: Markdown and HTML output from intent specs
• CLI: intent check, intent render, intent render-html
• Dockerfile: Multi-stage build for container usage

Quick start

# Binary (Linux x86_64)
chmod +x intent-linux-x86_64
./intent-linux-x86_64 check examples/transfer.intent

# Container
docker build -t intent .
docker run -v $(pwd):/work intent check /work/examples/transfer.intent

Stats

• 40 tests (26 checker + 7 parser + 7 snapshot)
• 4 valid / 11 invalid test fixtures + 3 examples
• Zero clippy warnings