kofdai/verantyx-vera

One-line install — verantyx-vera is on PyPI

Name an install command that works

A language toggle, and every handler answers in the chosen language

Add tokenizers, without which the shipped dictionary stays shut

Ship the jgen static dictionary and run the closed loop in the Space

Fix /gradio_api/info 500 that made every button say No API found

Refresh the engine and add a self-evolution tab

Remove stale HLE/cache files; keep Vera Gradio demo only

Publish Verantyx Vera α truth-board Gradio demo

Fix: Correct File download implementation for dataset JSON

Add dual-mode interface: (1) Solve questions (2) View full 591-question dataset

Fix: Use Python 3.11 + Gradio 5.9.1 (avoid Python 3.13 audioop issue)

Fix: Use Python 3.11 + Gradio 5.9.1 (avoid Python 3.13 audioop issue)

Fix Gradio version to 4.44.0 (Python 3.13 compatible)

Fix Gradio version to 4.44.0 (Python 3.13 compatible)

Fix SDK: change from static to gradio

Update to 14.00% (remove Position Prior statistical bias)

Update to 14.00% (remove Position Prior statistical bias)

Remove Position Prior - Pure symbolic reasoning (14.00%)

Fix: Remove gradio version conflict

Add HLE dataset: hle_mcq_answers.json

Add HLE dataset: hle_mcq_questions.json

Add complete system: requirements.txt

Add complete system: math_cross_sim.py

Add complete system: general_detectors.py

Add complete system: app.py

Update README with interactive demo link

Add requirements.txt - Interactive Gradio demo

Add sample_questions.json - Interactive Gradio demo

Add app.py - Interactive Gradio demo

Add results.json

Add README.md

initial commit