Verantyx Logic

Verantyx is not a large language model. It is a lightweight, on-device verification engine for deterministic reasoning. Instead of generating text that “sounds right,” Verantyx returns: PROVED / DISPROVED (with counterexample) / UNKNOWN. 3D Cross-Lattice Architecture (立体十字構造) Verantyx routes each query through a 3D Cross-Lattice structure: multiple specialized verifiers are positioned as independent “arms,” and the system selects the best reasoning path based on the problem shape (domain, formula structure, assumptions). This works similarly to a modular mixture-of-experts design — but without using an LLM. Offline-first, privacy-first • Runs fully locally (no server required) • No account needed • Designed to run CPU-first (GPU not required) Data safety on iOS (important) On iOS, the database is read-only by default. Verantyx does not persist user-provided knowledge into the DB during normal use. “Reasoning trace” persistence (saving only reusable reasoning patterns, not answers) is available in development mode only. Optional references (docs / demo) These links are optional references and are not required to use the app: • Hugging Face (project page): https://huggingface.co/kofdai/verantyx-logic-math • Web demo (Spaces): https://huggingface.co/spaces/kofdai/verantyx-demo