semiformal-sdd-workflow
starsforks
How to install semiformal-sdd-workflow?
lihaokun/semiformal-sdd-workflow
$git clone https://github.com/lihaokun/semiformal-sdd-workflowSemi-formal spec-driven development workflow for coding agents + humans. 设计先于代码、契约对照审核、修复同等严谨——适用于算法 / 验证 / 长期可维护性项目。
People who liked this also viewed
6 picksType
- claude-codeClaude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.WorkflowsJul 2026
- TrellisThe best agent harness.WorkflowsJul 2026
- reflyThe first open-source agent skills builder. Define skills by vibe workflow, run on Claude Code, Cursor, Codex & more. Build Clawdbot 🦞· APIs for Lovable · Bots for Slack & Lark/Feishu · Skills are infrastructure, not prompts.WorkflowsMar 2026
- pyspurA visual playground for agentic workflows: Iterate over your agents 10x fasterWorkflowsJun 2026
- claude-code🚀 Open source Claude Code CLI source code. Advanced AI Agent for developers. Includes TypeScript codebase for LLM tool-calling, agentic workflows, and terminal UI. Remember this is just the skeleton not the brain itself. Found by Chaofan Shou. WorkflowsApr 2026
- claude-codeClaude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.WorkflowsApr 2026
