# Verantyx Logic — Verantyx

> Verantyx (iPhone/iPad app by motonishi kodai.)

- Source: https://appshunter.io/ios/app/verantyx-logic/id6757994077 (this page in markdown: same URL + `.md`)
- Developer: [motonishi kodai](https://appshunter.io/developer/1870152444)
- Category: Reference, Utilities
- Price: Free
- Age rating: 4+
- Requires: iOS 13.0 · 610 MB
- Languages: American English
- Released: 2026-01-21
- Data updated: 2026-05-19
- User reviews in markdown: https://appshunter.io/ios/app/verantyx-logic/id6757994077/reviews.md

## What is 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


## Version history (last 1 release)

### 1.0 — 2026-01-21

No release notes.

## More apps by motonishi kodai

- [Paku Paku Fishing](https://appshunter.io/ios/app/paku-paku-fishing/id6760682804)

All apps by motonishi kodai: https://appshunter.io/developer/1870152444

---

*Data collected daily from the US App Store and indexed by [AppsHunter](https://appshunter.io/). User reviews are verbatim App Store reviews. Ratings, prices and chart positions refresh continuously; this snapshot is from 2026-05-19.*