nlspec

Translate product or technical requests into precise NLSpecs with testable acceptance criteria.

Updated Feb 19, 2026
One-click install
npx skills add https://github.com/remiboivin021/synexis --skill nlspec
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: nlspec
Source: https://github.com/remiboivin021/synexis/tree/main/.agents/skills/nlspec
Command: npx skills add https://github.com/remiboivin021/synexis --skill nlspec

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

NLSpec authoring provides a precise, normative contract that translates intent into a deterministic specification used for implementation and validation.

Core Features & Use Cases

  • Converts user requests into testable interfaces, acceptance criteria, and failure modes.
  • Defines dependencies, assumptions, constraints, and definitions of done to ensure verifiability.
  • Serves as a single source of truth for planners, coders, and QA to align on scope and success criteria.

Quick Start

Generate a complete NLSpec that captures scope, interfaces, constraints, and acceptance criteria for the requested feature.

Frequently Asked Questions about nlspec

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I translate product requests into testable acceptance criteria and interface contracts?

To translate product requests into testable acceptance criteria, you generate a precise NLSpec that defines scope, interfaces, constraints, and failure modes. This deterministic specification serves as a single source of truth for planner, coder, and QA teams to align on verifiable success criteria.

What is an NLSpec and how does it govern software specification validation?

An NLSpec is a normative contract that translates intent into a deterministic specification used for implementation and validation. It governs software specification validation by specifying interfaces, dependencies, failure modes, and a verifiable Definition of Done to ensure complete testability.

How do I write deterministic specifications for subsystems where planners, coders, and QA need a single source of truth?

To write deterministic specifications for end-to-end subsystems, you author an NLSpec that captures scope, contracts, and testable acceptance criteria. This provides a single source of truth ensuring planners, coders, and QA teams align on dependencies, assumptions, and verifiable outcomes.

Can I use natural language specifications for DSLs and engines, or only standard software modules?

You can apply natural language specifications to DSLs, engines, and end-to-end subsystems, not just standard modules. The NLSpec defines interfaces and constraints for these complex systems, handling explicit assumptions and open questions when evidence is missing.

What is the best way to document failure modes and constraints for technical requirements?

The best way to document failure modes and constraints for technical requirements is generating a complete NLSpec. It converts user requests into a normative contract that explicitly defines dependencies, assumptions, constraints, and a verifiable Definition of Done.

When should I not use a single source of truth specification for feature development?

You should not use a single source of truth specification like NLSpec for simple features lacking complex interfaces or verifiable acceptance criteria. It is designed for deterministic specs applied to end-to-end subsystems, engines, or DSLs where strict governance is required.