Open Issues Need Help
View All on GitHub docs/ci: provide official adapter templates for external testing tools about 2 months ago
enhancement good first issue testing
AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.
TypeScript
#ai#ai-agent#ci-cd#code-generation#domain-driven-design#formal-specification#mcp#model-based-testing#open-policy-agent#opentelemetry#requirements-engineering#runtime-verification#ssot#tdd
feat: format counterexamples into Given-When-Then scenarios about 2 months ago
enhancement good first issue testing
AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.
TypeScript
#ai#ai-agent#ci-cd#code-generation#domain-driven-design#formal-specification#mcp#model-based-testing#open-policy-agent#opentelemetry#requirements-engineering#runtime-verification#ssot#tdd
feat: introduce minimal property-based testing support about 2 months ago
enhancement good first issue testing
AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.
TypeScript
#ai#ai-agent#ci-cd#code-generation#domain-driven-design#formal-specification#mcp#model-based-testing#open-policy-agent#opentelemetry#requirements-engineering#runtime-verification#ssot#tdd