Specification-guided
No code is written without a contract and prior criteria.
How it’s verifiedEvery change references a specification with non-empty acceptance criteria.
Up to 62% of AI-generated code with no methodology contains security flaws (Veracode, 2025). Ironspec AI teaches how to use AI as an executor of verifiable contracts, not as autocomplete.
The model remembers nothing from one session to the next. Agile methodologies could rely on the team’s tacit knowledge —conversation was the channel—; with a pair that remembers nothing, that channel doesn’t exist.
Ironspec AI inverts the rule: everything that holds up the system gets externalized into durable artifacts. Documentation stops being bureaucracy and becomes the condition of possibility for working with AI.
The AI implements the ticket. It works, it gets merged. Three weeks later nobody —not even whoever asked for it— understands how it was built. The knowledge lived in the chat and evaporated.
Without a standard mechanism to hand over context, every session starts from zero: architecture, conventions, and contracts get re-explained. The same context gets paid for over and over.
Without an explicit way to define what’s wanted, the AI fills the gaps with assumptions. The result passes the demo but fails at the edges, or solves the wrong problem.
We’re not optimizing for the start, we’re optimizing for the trajectory. Ironspec AI doesn’t compete on Monday’s sprint — it competes at month 18.
Our own AI-augmented software engineering methodology, derived from eXtreme Programming and other agile practices: BDD’s double loop, Lean’s waste elimination, Kanban’s continuous flow and work limits, Scrum’s entry and exit gates, and Shape Up’s scope sizing.
Its unit of work is the SPEC-EXEC: an executable contract per ticket, with a mandatory core and acceptance criteria the machine runs. The specification is the primary artifact — code is a derived output, not the starting point.
It’s not theory: this is how we built Yggdrasil.
Discover Yggdrasil →Learn by building a real project: a real-time collaborative project management platform (Linear/Jira/Notion style). Each session produces a durable artifact, not an exercise.
They’re not slogans: each one comes with its own verification mechanism. That’s what separates a methodology from a set of good intentions.
No code is written without a contract and prior criteria.
How it’s verifiedEvery change references a specification with non-empty acceptance criteria.
Every architecture decision leaves a trail.
How it’s verifiedOne record per decision, with its context and the discarded alternatives.
The contract never diverges from the implementation.
How it’s verifiedThe contract is derived from the code; a mismatch fails CI.
"It works" is proven, not opined.
How it’s verifiedRunnable criteria + mandatory suite: unit tests, real integration, strict typing.
Any agent picks up any work using only the artifacts.
How it’s verifiedThe cold-start test: does it implement without asking? If it asks, the contract is incomplete.
The method corrects itself.
How it’s verifiedIf the ramp-up took more than five questions, the task doesn’t close until the artifact that caused it is fixed.
Keeping them separate is what keeps the method iterative without losing upstream design. Expensive reasoning is paid once, upstream, where it produces reusable knowledge.
The micro loop feeds back into the macro: a task blocked by an undecided call becomes a decision record, and recurring friction fixes the artifact that caused it. It’s a closed loop, not a waterfall.
Five pillars, each externalizing a different class of memory.
Diagrams as code
The system’s visual and structural memory.
Decision records
Why the architecture is the way it is, and what got discarded.
Fragmented knowledge base
The domain and architecture, loadable in pieces.
API contracts derived from code
The interfaces between components, never written by hand.
Executable specifications
The units of work and their definition of correct.
The technical constraint that demands a new method
The executable contract and the cold-start test
From the design document to actionable contracts
Diagrams, decisions, and contracts derived from code
Criteria the machine runs, real tests, CI
What the model loads on startup, and at what cost
Model and effort decided task by task
Board, work limits, and continuous improvement
USD 600 – 800 per person
Custom quote
based on team, format, and scope
USD 250 – 350 per person
We don’t have a confirmed date for the first cohort yet. Leave us your details and we’ll let you know as soon as we do.
You can choose one option, or both — whatever works best for you.