AlexTavor

2 repositories with Claude Code or Codex plugins.

proof-driven-development0
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.
1 plugin · AlexTavor/proof-driven-development
engineering-discipline0
Stack-independent software-engineering discipline package for Claude Code
1 plugin · AlexTavor/engineering-discipline