A stream-based runtime-verification framework for generating hard real-time C code.

AI-powered PRD generation for Claude Code with taskmaster integration

Adds needs/requirements to sphinx

Treat Requirements Like Code

🔬 Verifiable AI-Augmented Engineering Framework - Stop AI hallucinations with formal traceability (REQ→ART→TC). Agent Skills for Claude Code, Cursor, VS Code & Copilot. Enterprise-grade: ISO 9001, ISO 27001, GxP-ready. Red Team verification, multi-cycle lifecycle, behavioral anti-patterns.

В этом релизе Вы найдете дополнительные материалы к книге "Путь аналитика. Практическое руководство ИТ-специалиста" (https://www.piter.com/product_by_id/40878036) Саму книгу можно заказать по адресу https://goo.gl/Av7Zmg

Give your short business requirement, follow instructions, answer a few questions, get your specification, prototypes, codes, tests.

A Claude Code skill for structured, spec-driven development with phase-by-phase workflow and living documentation

Traceability extension for Sphinx documentation generator

Traceable specifications based on Doxygen

Digital Innovation Agents is an AI-augmented workflow that connects business analysis and software engineering in one consistent skill set.

Single-file Claude Skill for spec-driven RE. Generates constitution, specs, plans, research, tasks — with automatic KRITIS/NIS2 compliance checks and cross-artifact consistency analysis.

Marcel Robeer (2015-2019) *** Developed for Utrecht University RE Lab

An Agent Skill to use Problem-Based Software Requirements Specification (SRS) method in your software project.

Spec-driven, multi-agent AI development for Claude Code: from specs to shipping via roundtable collaboration

The missing layer between idea and code.

V-Model Extension Pack for Spec Kit — enforces paired generation of development specs and test specs with regulatory-grade traceability

Repo Engenharia de Requisitos

This repository contains information regarding the H2020 Project OpenReq and its components