Metadata-Version: 2.4
Name: athanor-pythia
Version: 0.0.1
Summary: Reserved-name placeholder. The real product is the Lean 4 `pythia` tactic + statistics library at https://github.com/athanor-ai/pythia.
Project-URL: Homepage, https://github.com/athanor-ai/pythia
Project-URL: Repository, https://github.com/athanor-ai/pythia
Project-URL: Issues, https://github.com/athanor-ai/pythia/issues
Author-email: Athanor <support@athanor-ai.com>
License: Apache-2.0
Keywords: anytime-valid,lean,lean4,mathlib,pythia,statistics,theorem-proving
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.10
Description-Content-Type: text/markdown

# athanor-pythia

> *Aesop-grade automation for statistics in Lean 4.*

This is the Python-side companion to the
[`pythia`](https://github.com/athanor-ai/pythia) Lean 4 statistics
library. **The real product is the Lean tactic + theorem library**
in that repository; this package currently exists as a name reservation
on PyPI (v0.0.1 placeholder).

## Status

- **Pre-release** (v0.0.1). Name reservation only.
- The Lean side ships the `pythia` tactic + the `Kairos.Stats.*` namespace + the registered lemma library.
- Future Python-side surface (planned): LSP-driven proof-closure helpers, multi-prover swarm orchestration, lean-lsp-mcp self-hosting glue. None of that lives here today; for the LLM-driven side use [`athanor-kairos`](https://github.com/athanor-ai/athanor-sdk).

## Install the Lean library

```lean
-- in your lakefile.lean
require kairos-stats-lean from git
  "https://github.com/athanor-ai/pythia.git" @ "main"
```

Then `import Kairos` (umbrella) or any individual `Kairos.Stats.*`
module. Toolchain pinned to Lean 4.28.0 + Mathlib v4.28.0 for Aristotle
parity.

## License

Apache-2.0.

## Links

- Lean library: https://github.com/athanor-ai/pythia
- Companion SDK (LLM-driven side): https://github.com/athanor-ai/athanor-sdk
- Athanor: https://athanor-ai.com
