CtrlK
BlogDocsLog inGet started
Tessl Logo

nl-to-constraints

Transforms natural language requirements (user stories, verbal descriptions, business rules) into formal specifications and constraints. Use when converting informal requirements into structured, testable specifications with explicit constraints. Outputs in multiple formats including BDD-style Given-When-Then, JSON Schema, and structured plain text requirements documents.

94

1.62x
Quality

92%

Does it follow best practices?

Impact

96%

1.62x

Average score across 3 eval scenarios

SecuritybySnyk

Passed

No known issues

SKILL.md
Quality
Evals
Security

Evaluation results

100%

70%

Payment API Formal Specification

JSON Schema specification with constraint extraction

Criteria
Without context
With context

REQ-NNN ID pattern

100%

100%

CON-NNN ID pattern

100%

100%

TEST-NNN ID pattern

0%

100%

Requirement type enum

0%

100%

Requirement priority enum

0%

100%

Constraint category enum

0%

100%

RFC 2119 severity

0%

100%

Constraint entity field

0%

100%

Formal expression

0%

100%

Validation method

0%

100%

Error message

100%

100%

Acceptance criteria

0%

100%

Traceability links

77%

100%

90%

7%

Data Pipeline SLA Requirements Analysis

Ambiguity detection and flagging

Criteria
Without context
With context

Ambiguity flag marker

70%

80%

Requirement label per ambiguity

100%

100%

Issue description

100%

100%

Possible interpretations

40%

100%

Clarifying questions

100%

100%

Default interpretation

60%

50%

Vague quantifier detection

100%

100%

Missing edge case detection

100%

100%

Undefined scope detection

100%

100%

Unambiguous parts specified

88%

100%

Step 1 analysis artifacts

62%

62%

99%

33%

User Authentication System Test Coverage

BDD scenario generation and requirement classification

Criteria
Without context
With context

Gherkin Scenario keyword

0%

100%

Given keyword

0%

100%

When keyword

0%

100%

Then keyword

0%

100%

Requirement type classification

75%

87%

Requirement priority classification

100%

100%

State constraint identified

100%

100%

Authorization constraint identified

100%

100%

Temporal constraint identified

100%

100%

RFC 2119 severity used

100%

100%

Implicit assumptions made explicit

100%

100%

Negative scenario coverage

100%

100%

Step 5 validation evidence

100%

100%

Repository
ArabelaTso/Skills-4-SE
Evaluated
Agent
Claude Code
Model
Claude Sonnet 4.6

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.