Verantyx Logic

Verantyx

Free · Designed for iPad. Not verified for macOS.

Not text generation—verification. Verantyx doesn’t guess. It checks. Deterministic reasoning with explicit counterexamples, running entirely on-device. 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

Ratings & Reviews

  • This app hasn’t received enough ratings or reviews to display an overview.

The developer, motonishi kodai, indicated that the app’s privacy practices may include handling of data as described below. For more information, see the developer’s privacy policy .

  • Data Not Collected

    The developer does not collect any data from this app.

    Privacy practices may vary, for example, based on the features you use or your age. Learn More

    Accessibility

    The developer has not yet indicated which accessibility features this app supports. Learn More

    Information

    Seller
    • motonishi kodai
    Size
    • 639.6 MB
    Category
    • Reference
    Compatibility
    Requires iOS 13.0 or later.
    • iPhone
      Requires iOS 13.0 or later.
    • iPad
      Requires iPadOS 13.0 or later.
    • iPod touch
      Requires iOS 13.0 or later.
    • Mac
      Requires macOS 11.0 or later and a Mac with Apple M1 chip or later.
    • Apple Vision
      Requires visionOS 1.0 or later.
    Languages
    • English
    Age Rating
    4+
    Copyright
    • © 2026 Kodai Motonishi. All rights reserved.
  • Developer Website
  • Privacy Policy

    • More by motonishi kodai

    You Might Also Like