Open Issues Need Help
View All on GitHub Add a contributor-owned held-out micro-benchmark for one certified capability family about 2 hours ago
enhancement help wanted good first issue
Software synthesis engine that turns requirements into verified artifacts — or explicit failure evidence — through execution-grounded validation.
Python
#ai-agents#code-generation#constraint-solving#developer-tools#formal-verification#program-synthesis#reasoning-engine#software-engineering
Certified extension: bounded-memory streaming transformations about 2 hours ago
enhancement help wanted
Software synthesis engine that turns requirements into verified artifacts — or explicit failure evidence — through execution-grounded validation.
Python
#ai-agents#code-generation#constraint-solving#developer-tools#formal-verification#program-synthesis#reasoning-engine#software-engineering
Add a reusable semantic verifier for declared public callable contracts about 2 hours ago
enhancement help wanted
Software synthesis engine that turns requirements into verified artifacts — or explicit failure evidence — through execution-grounded validation.
Python
#ai-agents#code-generation#constraint-solving#developer-tools#formal-verification#program-synthesis#reasoning-engine#software-engineering
Decouple capability inference from the central validator with reusable typed rules about 2 hours ago
enhancement help wanted
Software synthesis engine that turns requirements into verified artifacts — or explicit failure evidence — through execution-grounded validation.
Python
#ai-agents#code-generation#constraint-solving#developer-tools#formal-verification#program-synthesis#reasoning-engine#software-engineering
Model reusable semantic requirement features instead of re-detecting them downstream about 2 hours ago
enhancement help wanted
Software synthesis engine that turns requirements into verified artifacts — or explicit failure evidence — through execution-grounded validation.
Python
#ai-agents#code-generation#constraint-solving#developer-tools#formal-verification#program-synthesis#reasoning-engine#software-engineering