Metadata-Version: 2.4
Name: kimina-client
Version: 0.1.7
Summary: Client SDK to interact with Kimina Lean server.
Project-URL: Homepage, https://github.com/project-numina/kimina-lean-server
Project-URL: Issues, https://github.com/project-numina/kimina-lean-server/issues
Author-email: Kimi Team - Project Numina <contact@projectnumina.com>
License-Expression: MIT
License-File: LICENSE
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.9
Requires-Dist: colorama>=0.4.6
Requires-Dist: datasets>=4.0.0
Requires-Dist: httpx>=0.28.1
Requires-Dist: loguru>=0.7.3
Requires-Dist: pip>=25.1.1
Requires-Dist: pydantic-settings>=2.10.0
Requires-Dist: python-dotenv>=1.1.0
Requires-Dist: requests>=2.31.0
Requires-Dist: tabulate>=0.9.0
Requires-Dist: tenacity>=9.1.2
Provides-Extra: server
Requires-Dist: fastapi>=0.115.13; extra == 'server'
Requires-Dist: google-cloud-logging>=3.12.1; extra == 'server'
Requires-Dist: prisma>=0.15.0; extra == 'server'
Requires-Dist: psutil>=7.0.0; extra == 'server'
Requires-Dist: rich>=14.0.0; extra == 'server'
Requires-Dist: uvicorn>=0.34.3; extra == 'server'
Description-Content-Type: text/markdown

# Kimina client

Client SDK to interact with Kimina Lean server. 

Example use:
```python
from kimina_client import KiminaClient

# Specify LEAN_SERVER_API_KEY in your .env or pass `api_key`.
# Default `api_url` is https://projectnumina.ai
client = KiminaClient()

# If running locally use:
# client = KiminaClient(api_url="http://localhost:80")

client.check("#check Nat")
```

## Backward client

```python
from kimina_client import Lean4Client

client = Lean4Client()

client.verify("#check Nat")
```