Beneficial-AI-Foundation

Beneficial-AI-Foundation/deductive-vericoding

Tactics-driven vericoding

2 good first / help-wanted issues · Lean · last activity Jul 2, 2026

7 stars 0 forks 7 watchers Lean

2 Open Issues Need Help Last updated: Jul 2, 2026

Open Issues Need Help

View All on GitHub

Reorganization of repo 4 months ago

enhancement good first issue

Beneficial-AI-Foundation/deductive-vericoding

7

Tactics-driven vericoding

Lean

Go through Shaowei's slides on Refine yourself a code for great good! 4 months ago

good first issue

Beneficial-AI-Foundation/deductive-vericoding

7

Tactics-driven vericoding

Lean