PyPI page
Home page
Author:
Wahyu Febri Tamtomo
Summary:
Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents
Latest version:
0.1.0
Required dependencies:
mcp
|
tree-sitter
|
tree-sitter-go
|
tree-sitter-javascript
|
tree-sitter-python
|
tree-sitter-rust
|
tree-sitter-typescript
Optional dependencies:
build
|
huggingface-hub
|
numpy
|
onnxruntime
|
pytest
|
tokenizers
|
twine
Downloads last day:
0
Downloads last week:
11
Downloads last month:
127
7-day smoothing