Import ~2000 common concepts

Refactor UI: Remove LogicBench tab, adapt Proof tab for external JSON

Add LogicBench integration tab (UI and placeholder logic)

Enhance UI with detailed instructions, Russian localization, and examples

Add diagnostic information for troubleshooting

Update dependencies in requirements.txt

Fix requirements.txt formatting

Add sfosr.db via Git LFS

Initial SFOSR system with Gradio interface