SNL good first issues · Help Wanted

[Docs] Add a Chinese first-use walkthrough / 补充中文入门案例 3 days ago

documentation good first issue

0

Structured Natural Language: living contracts for humans and AI to define, build, and verify software together. Open design, scoped development, and traceable evidence.

#ai-assisted-development#cli#design-by-contract#developer-tools#human-ai-collaboration#living-specification#llm#open-source#specification#structured-natural-language

[Implementation] Define the first verifiable CLI slice / 首个可验证 CLI 原型 3 days ago

enhancement help wanted

BeautyChaser/SNL

0

Structured Natural Language: living contracts for humans and AI to define, build, and verify software together. Open design, scoped development, and traceable evidence.

#ai-assisted-development#cli#design-by-contract#developer-tools#human-ai-collaboration#living-specification#llm#open-source#specification#structured-natural-language

[Design] Choose the smallest useful SNL contract / 最小契约模型 3 days ago

enhancement help wanted

BeautyChaser/SNL

0

Structured Natural Language: living contracts for humans and AI to define, build, and verify software together. Open design, scoped development, and traceable evidence.

#ai-assisted-development#cli#design-by-contract#developer-tools#human-ai-collaboration#living-specification#llm#open-source#specification#structured-natural-language

[Research] Share real AI-assisted development failures / 收集真实失败案例 3 days ago

help wanted

BeautyChaser/SNL

0

Structured Natural Language: living contracts for humans and AI to define, build, and verify software together. Open design, scoped development, and traceable evidence.

#ai-assisted-development#cli#design-by-contract#developer-tools#human-ai-collaboration#living-specification#llm#open-source#specification#structured-natural-language

BeautyChaser/SNL

Open Issues Need Help