惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

H
Help Net Security
T
ThreatConnect
SecWiki News
SecWiki News
F
Future of Privacy Forum
AWS News Blog
AWS News Blog
C
Cisco Blogs
A
Arctic Wolf
Vercel News
Vercel News
The GitHub Blog
The GitHub Blog
Scott Helme
Scott Helme
V
V2EX
博客园 - 叶小钗
阮一峰的网络日志
阮一峰的网络日志
K
Kaspersky official blog
G
Google Developers Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
P
Privacy International News Feed
C
Cyber Attacks, Cyber Crime and Cyber Security
N
News | PayPal Newsroom
Schneier on Security
Schneier on Security
NISL@THU
NISL@THU
Microsoft Azure Blog
Microsoft Azure Blog
量子位
The Hacker News
The Hacker News
Stack Overflow Blog
Stack Overflow Blog
Security Latest
Security Latest
M
Microsoft Research Blog - Microsoft Research
Google Online Security Blog
Google Online Security Blog
博客园_首页
C
CXSECURITY Database RSS Feed - CXSecurity.com
I
InfoQ
Google DeepMind News
Google DeepMind News
Y
Y Combinator Blog
The Cloudflare Blog
Microsoft Security Blog
Microsoft Security Blog
Martin Fowler
Martin Fowler
Cisco Talos Blog
Cisco Talos Blog
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
T
Troy Hunt's Blog
F
Fox-IT International blog
S
Security @ Cisco Blogs
博客园 - 司徒正美
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
C
Comments on: Blog
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
L
LINUX DO - 最新话题
GbyAI
GbyAI
Project Zero
Project Zero
腾讯CDC
T
Tailwind CSS Blog

DEV Community

The Linux Commands You Forgot Exist (And Why AI Workflows Make Them Relevant Again) Components are states Edge SEO y Middleware: Cómo Interceptar a Googlebot y LLMs antes de llegar a tu Servidor Context window exceeded at turn 23. Here's how I track token usage without a tokenizer. My Hermes agent spent $3 before I noticed. Now it can't. My Hermes agent's stop condition was a 40-line if/elif chain. I replaced it with 3 lines. My agent kept hitting context limits. This one function fixed it. Your Hermes agent's audit log is leaking customer emails. Here's a 100-line lib that fixes that. Create and configure Azure Firewall My agent kept forgetting what it was doing. A scratchpad fixed it. I replaced 200 lines of ad-hoc state management in my Hermes agent with one object. Per-Key Rate Limiting for Agent Tool Calls: Stop One User From Breaking Everything Composable Output Guardrails: Filter Agent Responses Before They Reach Users Sanitize Your LLM Message Lists Before Every API Call Thread a Run ID Through Every Agent Call So You Can Debug Anything Normalize Provider Error JSON So Your Agent Can Actually Handle Failures Priority Queue for Agent Sub-Tasks: Stop Processing Low-Priority Work First Static Lint Rules for Your LLM Prompts (Before They Hit Production) tool-call-budgets: Stop Runaway Agent Loops Before They Hit Your Invoice Step Through Your Agent's Failures Like a Debugger The Simplest Stop Condition: A Hard Cap on Agent Loop Iterations Score Your Agent's Responses With a 0.0-1.0 Rubric (No LLM Judge Required) Fix Bad Structured Output by Feeding the Error Back to the Model Building an effective Storyblok Tool Plugin with SvelteKit How to Get Your Renault / Dacia Radio Code for Free RAG 시스템 실전 구축 (v39) Retraction — scrml’s Living Compiler I built a fitness app where the AI roasts you for eating pizza (and hypes you when you PR) The Top SaaS Founder Communities on Discord (Beyond the AI Hype) I Built a Production-Grade Async Job Queue from Scratch — Here's Everything That Actually Happened How to watch SMS from multiple Android phones in one iOS app We Didn’t Want Another AI Wrapper — So We Explored a High-Speed Hermes Orchestrator for Engineering Crews Multi-tenant além do TenantId: problemas reais e aprendizados em sistemas .NET After failing 23 times, I am sharing How I Actually Prepare for a Tech Interview Every Single Time Now. I built an app that works like a nutritionist for your brain. Here's what happened in 7 days. GoBadge Dynamic: From Module Stats to Universal Badges LangGraph 워크플로우 템플릿 (v39) The git Commands You Forgot Exist (And Why AI Workflows Make Them Relevant Again) Six Levels of MCP Servers One container to replace Grafana + Loki + Tempo + Prometheus The Request/Response Cycle, HTTP, Auth, JWT, OAuth & Sessions — Explained Properly Python Week 3: We Stopped Repeating Ourselves (Loops!) Creating a Custom Grid Editor tool in Unreal Engine 我做了个付费 Telegram bot。Telegram Stars 实际给开发者多少钱,我算了一笔账。 I Got 96% Recall on LLM Hallucination Detection With No ML Model – Just 50 Lines of Python A practitioner's guide to getting more value out of AI coding: agent quality & token optimization How to Handle Telegram Albums in Telegraf I Built a Multilingual Spam Detection Dataset with 149K+ Messages Across 23 Languages How to Handle Telegram Albums in grammY RAG 시스템 실전 구축 (v38) Beyond Pip Install: Why Your AI Agent Needs a "Hermetic" Life-Support System to Survive Resume Building using HTML & CSS SpecFlow: Multi-Agent SDD in Cursor (4 phases, /approve, single code writer) Running ASR for smart homes in the NPU of Intel processors "Building a CI/CD Pipeline From Scratch: A Practical Guide for Developers (with GitHub Actions)" SpecFlow: SDD multi-agente en Cursor (4 fases, /approve, un solo escritor de código) How to Extract Your Full Team Hierarchy from HubSpot (the API doesn't expose it) Adobe Commerce Cloud now costs $40k/year. We migrated from Adobe Commerce to Magento Open Source — here's the honest breakdown .klickd v4.0.0 — Portable AI memory with constraints, strict schemas, and test vectors We Trust Third Party Code, It’s Time to Trust AI Generated Code LangGraph 워크플로우 템플릿 (v38) Sustainable AI Starts with Efficient AI Find Remove duplicated files in Google Drive How to Detect GPU Waste in a Kubernetes Cluster The Privacy Bug in My First Chrome Extension (And How to Avoid It) Serverless Mental Models: What They Don't Tell You Before You Build Preventing GPT hallucination in automated content pipelines: how I structure Make.com flows with data injection Hmm, where were we? AI Visibility Tools, Math Proofs, and Stripped Guardrails Shape Developer Landscape How AI and Electronics Are Changing Healthcare Devices: The Future of Smart Healthcare Author: Shivam Wakade | Founder, PrivSR Making Claude Sound Like Optimus Prime Understanding Reinforcement Learning with Human Feedback Part 5: Training the Reward Model with Loss Functions Learning Progress Pt.20 How Secure LoRa Communication Devices Work: Building the Future of Private and Long-Range Connectivity Author: Shivam Wakade | Founder, PrivSR How I Rebuilt an RPG Map Editor with Rust, React, and WASM Building a System That Automates YouTube Post-Production Building a 100% Serverless Digital Asset Packager in the Browser Game Recommended AI What is Human-In-The-Loop (HITL)? Deep Dive: React Server Components in TanStack Start Migrating off Google Analytics: Umami vs Plausible vs Fathom Building a Portfolio That Actually Demonstrates Software Engineering Async/Await in JavaScript: From Callbacks to Clean Code (2026) Benchmarking LLM Structured Outputs Angular 21 Multiselect Dropdown: A Migration-Friendly Component with Live Functional Tests ShareBox v5 — GPU transcoding, Netflix-style grid, and why I don't need Plex anymore TOML Schema is live Handling Duplicate Shopify Webhook Events (And Why You Must) Original Kubernetes Dashboard — retired upstream, upgraded to Angular 21. لماذا أسست ترينافو للتجار العرب الذين تتجاهلهم المنصات الغربية Construyendo un recomendador de películas en Python: de los datos al modelo When APIs Lie: A Lesson in Defensive Debugging Pope Leo XIV's AI Encyclical: What Builders Must Know (2026) Donna v0.3.0 HTB — MonitorsFour | Writeup The Free Tool You Trust Is the One You Should Fear the Most HTB — MonitorsFour | Writeup Fr 97. Embeddings and Vector Search: Semantic Search That Works Deep Dive: Building "Gravity Paint" - A Tactile Physics Instrument with React, Matter.js, and p5.js ABAP Unit Testing with Test Doubles and Mocking Frameworks: A Senior Architects Guide to Isolating Dependencies in SAP S/4HANA
Spec-Driven Development Without an IDE: I Generated NestJS, Go, Spring Boot, Laravel, and Rust Apps From a Single PRD File
Aniekan Okon · 2026-05-26 · via DEV Community

Amazon launched Kiro in 2025 with a waiting list and a clear thesis: the problem with AI coding tools is not that they write bad code, it is that they write code with no connection to your requirements. Kiro's answer is spec-driven development — you write a spec, the tooling generates from it, and the spec stays authoritative.

Kiro is a good idea. But it is also a proprietary IDE you have to install, sign in to, and trust with your codebase.

I built the same concept as a set of open-source CLI tools: one per ecosystem, published to the registry your team already uses. No IDE. No account. No network calls. A text file goes in, a working application comes out.

Here is what I built, how it works, and why the architecture matters more than the code.


Try it right now — pick your stack

# NestJS / TypeScript
npm install -g archiet-microcodegen-nestjs
archiet-microcodegen-nestjs --sample > prd.md
archiet-microcodegen-nestjs prd.md --out ./my-app
cd my-app && npm install && docker compose up

# Go Chi
go install github.com/aniekanasuquookono-web/archiet-microcodegen-go@latest
archiet-microcodegen-go prd.md --out ./my-app
cd my-app && make run

# Laravel (PHP)
composer global require archiet/microcodegen-laravel
archiet-microcodegen-laravel prd.md --out ./my-app
cd my-app && composer install && docker compose up

# Spring Boot (Java)
java -jar archiet-microcodegen-java.jar prd.md --out ./my-app
cd my-app && mvn spring-boot:run

# Tauri (Rust + desktop)
cargo install archiet-microcodegen-tauri
archiet-microcodegen-tauri prd.md --out ./my-app
cd my-app && npm install && npm run tauri dev

Your app has full CRUD, JWT auth with httpOnly cookies, Postgres 16, and per-user data isolation — before you have finished reading this article.


What spec-driven development actually means

Spec-driven development is a 25-year-old idea from model-driven architecture (MDA): write a formal model of your system, then derive the implementation from it. The model is the source of truth. The code is an artefact of the model.

The reason this did not become mainstream is that writing formal models used to require UML tools and an enterprise architect. Kiro's insight (and mine) is that a plain text requirements file is a formal model — it just needs a parser that takes it seriously.

The pipeline has four stages. I implemented all four in every language, which is why each generator produces genuinely correct output rather than a template with blanks left for you to fill in.


The four stages

Stage 1 — parse_prd(text) → Manifest

Reads your text file. Extracts every entity definition (e.g. Task, Project, User), field names with types, user stories, and integration references — using regex, not an LLM. The output is a language-agnostic Manifest.

# Example PRD snippet:
# "The system manages Projects and Tasks. A Project has a name, description, and status.
# A Task has a title, body, due_date, and belongs to a Project."

# Manifest output:
Entities: [Project, Task]
Fields:
Project: name (string, required), description (text), status (string)
Task: title (string, required), body (text), due_date (string), project_id (FK→Project)

Stage 2 — manifest_to_genome(manifest) → Genome

Converts the Manifest into an Architectural Genome — a typed intermediate representation using ArchiMate 3.2 element categories: ApplicationComponent, ApplicationService, DataObject, ApplicationInterface.

Every entity automatically receives id, user_id (for per-tenant isolation), and created_at. Relationships are made explicit. The Genome is still language-agnostic — it drives NestJS output and Go output and Laravel output equally.

{
"solution_name": "TaskManager",
"entities": [
{
"name": "Task",
"archimate_type": "DataObject",
"fields": {
"id": { "type": "integer", "required": true },
"user_id": { "type": "integer", "required": true },
"title": { "type": "string", "required": true },
"due_date": { "type": "string", "required": false },
"created_at": { "type": "datetime", "required": true }
},
"relationships": [
{ "type": "association", "target": "Project", "cardinality": "many-to-one" }
]
}
]
}

This is where the approach diverges from a template system. The Genome is your architecture document in machine-readable form. Stages 3 and 4 are pure rendering — they never make decisions about what the system is.

Stage 3 — render_genome(genome) → {path: content}

The language-specific stage. The NestJS renderer generates TypeScript with TypeORM. The Go renderer generates idiomatic Chi handlers with GORM. The Laravel renderer generates Eloquent models, controllers with Form Requests, and Blade-free API resources. The Rust renderer generates Tauri IPC commands with rusqlite.

Stages 1 and 2 are shared across all ten packages. Only stage 3 differs. That is why it was possible to ship ten ecosystems in one week — the architecture thinking was done once, not ten times.

Stage 4 — pack(files) → ZIP or directory

Writes to disk or bundles a ZIP. Pure stdlib in every implementation — no external zip library.


The generated NestJS app (for NestJS developers)

Running the generator against a task-manager PRD produces:

src/
auth/
auth.module.ts
auth.controller.ts ← /auth/register, /auth/login, /auth/me, /auth/logout
jwt.strategy.ts ← reads httpOnly cookie, never Authorization header
jwt-auth.guard.ts
task/
task.controller.ts ← GET /tasks, POST /tasks, GET /tasks/:id, PUT, DELETE
task.service.ts ← every method filters by userId
task.entity.ts ← TypeORM @entity, @column, @PrimaryGeneratedColumn
dto/
create-task.dto.ts ← class-validator decorators, correct 422 on failure
update-task.dto.ts
docker-compose.yml ← Postgres 16, healthcheck-gated startup
ARCHITECTURE.md ← ArchiMate 3.2 element inventory
openapi.yaml ← machine-readable API contract
test/
task.controller.spec.ts ← happy-path Jest tests per controller

Three security properties the generator enforces that AI assistants routinely get wrong:

httpOnly cookies, not localStorage. JwtStrategy reads from req.cookies['access_token']. AuthController sets httpOnly: true, secure: true, sameSite: 'strict'. localStorage is an XSS vulnerability. The generator does not offer it as an option.

Per-user isolation on every query. taskService.findAll(userId) executes WHERE user_id = $1. Every service method receives the authenticated user's ID from the guard. There is no code path that returns another user's data.

Correct HTTP status codes. 201 on create. 422 on validation failure. 403 on auth failure. 404 on not-found. This is the generated code, not the documentation.


The generated Laravel app (for PHP/Laravel developers)

Laravel is one of the most-searched scaffolding targets because the ecosystem is large and opinionated. The generator produces:

app/
Models/
Task.php ← Eloquent model, $fillable, $casts, userId scope
Http/
Controllers/
TaskController.php ← full CRUD resource controller
Requests/
StoreTaskRequest.php ← FormRequest validation, 422 on failure
Resources/
TaskResource.php ← API resource, hides internal fields
routes/
api.php ← Route::apiResource + auth middleware
database/
migrations/
create_tasks_table.php ← with user_id FK index
docker-compose.yml
ARCHITECTURE.md
openapi.yaml

The Task model has a global scope that automatically filters by the authenticated user — the same per-tenant isolation principle, expressed in Laravel idioms.


The generated Go app (for Go developers)

Go developers are allergic to magic. The generated app uses net/http (via Chi for routing), GORM, and golang-jwt/jwt. No reflection-heavy frameworks.

func (h *TaskHandler) ListTasks(w http.ResponseWriter, r *http.Request) {
userID := r.Context().Value(contextKeyUserID).(int64)
tasks, err := h.service.FindAllByUser(r.Context(), userID)
// ...
}

func (s *TaskService) FindAllByUser(ctx context.Context, userID int64) ([]Task, error) {
var tasks []Task
result := s.db.WithContext(ctx).Where("user_id = ?", userID).Find(&tasks)
return tasks, result.Error
}

Generated Makefile includes make build, make test, make migrate. Zero magic.


The Tauri generator is intentionally different

Desktop apps have different constraints. The generated Tauri app uses SQLite instead of Postgres. Auth uses Argon2id + UUID session tokens in application memory — there is no HTTP layer in Tauri, only IPC commands.

#[tauri::command]
async fn list_tasks(state: State<'_, AppState>, session: String) -> Result, String> {
let user_id = state.sessions.lock().unwrap()
.get(&session).copied().ok_or("Unauthorised")?;
// every query filters by user_id — same principle, different idiom
}


How this compares to Amazon Kiro

Kiro and these generators share the same core insight: spec-first produces better software than prompt-and-pray. The differences are practical:

These are different tools. If you are already using Kiro, you can use these generators to bootstrap the initial project before Kiro helps you extend it.


Why pure stdlib — the Karpathy constraint

Each generator is one file, under 1,400 lines, zero external dependencies. The Go generator uses only archive/zip, encoding/json, and os. The Node.js generator uses only fs, path, crypto, and zlib. The Rust generator uses only std.

This comes from Andrej Karpathy's micrograd philosophy: if you cannot express the complete algorithm in a small, dependency-free file, you do not fully understand it. Every generator is auditable in a single reading. No transitive dependencies, no supply-chain risks, no version conflicts.

It also means the generator never breaks because a dependency changed its API.


The architecture document that survives your codebase

Every generated project includes ARCHITECTURE.md with a typed ArchiMate 3.2 inventory:

### ApplicationComponent: TaskManagerAPI

  • Realises: TaskManagementService

### DataObject: Task

  • Fields: id, user_id, title, body, due_date, status, created_at
  • Association: Task → Project (many-to-one)

Six months from now, a new engineer reads ARCHITECTURE.md and understands the system without deciphering the implementation.


Distribution: why ten registries matter

  • NestJSnpm install -g archiet-microcodegen-nestjs
  • Go Chigo install github.com/aniekanasuquookono-web/archiet-microcodegen-go@latest
  • Laravelcomposer global require archiet/microcodegen-laravel
  • Spring Bootjava -jar archiet-microcodegen-java.jar
  • Railsgem install archiet-microcodegen-rails
  • .NETdotnet tool install -g archiet-microcodegen-dotnet
  • Tauricargo install archiet-microcodegen-tauri
  • FastAPIpip install archiet-microcodegen
  • Flaskpip install archiet-microcodegen-flask
  • Djangopip install archiet-microcodegen-django

The underlying platform

These generators are the offline distribution of Archiet — a platform that applies the same spec-driven pipeline at enterprise scale: multi-stack simultaneous generation, quality scoring, delivery gates, and a live genome editor.

Spec-driven development should not require a proprietary IDE. These tools exist to make it available everywhere developers already work.

If you want the full platform — try Archiet.com


Source is public on GitHub. If you hit an issue, the algorithm is short enough that a fix is usually a one-line PR.