Skip to main content

Module context

Module context 

Source
Expand description

Build rich context from a parsed intent AST for the LLM prompt.

Assembles three pieces: the canonical spec source, the skeleton code, and a structured contracts summary (requires/ensures/invariants/edge_cases).

Structs§

PromptContext
All the context the LLM needs to generate a full implementation.

Functions§

build_context
Build the full prompt context from an AST and target language.