PyPI page
Home page
Author:
Yehor Kaliberda
License:
MIT License
Copyright (c) 2026 Yehor Kaliberda
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated do...
Summary:
FixProve — deterministic AST-level verification that AI-generated code references real, installed symbols. Zero LLM tokens.
Latest version:
0.1.17
Required dependencies:
tree-sitter
|
tree-sitter-python
|
tree-sitter-typescript
Downloads last day:
5
Downloads last week:
27
Downloads last month:
471
7-day smoothing