Back to all repositories
AL
proof-driven-development
by AlexTavor
A methodology and CLI, with the skills, gates, and observability that make it work, for changing code you can't verify by reading, legacy or AI-generated, without breaking it.
0stars0forks0watchers/subscribers1issues
- Language
- TypeScript
- Size
- 2.4 MB
- Created
- Jun 5, 2026
- Last Updated
- Jul 29, 2026
- Last Pushed
- Jul 29, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.