Research software
Conjecta is experimental research software. APIs, CLI commands, evaluation reports, and formalization scaffolds may change without notice. Do not rely on this project for production proof certification without independent review.
Terms & disclaimers
Important limitations for public use, third-party review, and external integrations.
No guarantee of correctness
Lean gates, structural verifiers, and evaluation harnesses reduce certain classes of errors but do not guarantee mathematical correctness of every statement or proof artifact. Human review remains required for paper-level claims.
Placeholders and sorry
Candidates containing placeholder axioms, sorry, or
unapproved axiom declarations are not accepted as
completed proofs. Reports may still list them for review and
benchmarking.
Third-party content
Domain packs may ingest LaTeX, PDF, and zip bundles from contributors. Copyright and licensing of source materials remain with their original authors. Check each domain pack manifest before redistributing extracted content.
External services
Conjecta sends prompts to third-party LLM providers under their respective terms. API keys and usage costs are provided by the service operator; users do not need to supply their own keys.
Liability
This project is provided “as is”, without warranty of any kind. Contributors and maintainers are not liable for damages arising from use of this software or its outputs.
License identifier and data-retention notes β to be added.