QuaNThoR

QuaNThoR identity
QuaNThoRpublic-pre-alpha · local-app · version pre-alpha

A formalization coach that moves informal mathematical claims toward reviewable structure.

Public status

  • Runtime: local-app

  • Availability: verified

  • License: LicenseRef-SEL-2.0

  • Version: pre-alpha

Open technical surface Source Issues

Interfaces

  • Local proof editor

  • POST /verify

  • POST /route

  • POST /draft

  • Optional HippoRAG retrieval

Important

Formalization assistance does not establish a theorem until an accepted proof and qualified review exist.