Profile of YehorKaliberda

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

2 projects

Last released Aug 20, 2026

FixProve — deterministic AST-level verification that AI-generated code references real, installed symbols. Zero LLM tokens.

Last released Jul 22, 2026

Local-first multi-repo security agent

Supported by