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