Metadata-Version: 2.4
Name: artano-lemma
Version: 0.1.0
Summary: Lemma — open verification substrate for AI-generated scientific code. Python SDK and cross-check engine.
Project-URL: Homepage, https://openlemma.dev
Project-URL: Documentation, https://docs.openlemma.dev
Project-URL: Repository, https://github.com/artano-ai/lemma
Author: Arsalan Akhtar
License: Apache-2.0
License-File: LICENSE
Keywords: lemma,llm,mcp,scientific-computing,verification
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Topic :: Scientific/Engineering
Requires-Python: >=3.10
Requires-Dist: httpx>=0.27
Requires-Dist: jsonschema>=4.21
Requires-Dist: mcp>=1.0
Requires-Dist: pydantic>=2.6
Requires-Dist: rich>=13.7
Requires-Dist: typer>=0.12
Provides-Extra: dev
Requires-Dist: mypy>=1.10; extra == 'dev'
Requires-Dist: pytest>=8; extra == 'dev'
Requires-Dist: ruff>=0.5; extra == 'dev'
Description-Content-Type: text/markdown

# Lemma — Python SDK

Pure-Python SDK for the Lemma verification substrate. Ships as
`artano-lemma`. Parallel to the Node distribution at
[`../mcp-server/`](../mcp-server/) (`@artano-ai/mcp-server`). Both
packages read the same shared `cards/` corpus and the same
`schema/card.v0.1.json`.

## Why a Python SDK

Scientific researchers already work in Python (NumPy, SciPy, Jupyter,
conda). A Python SDK lets a notebook call Lemma without spinning up a
separate Node process and without going through the MCP protocol when
in-process verification is enough.

## Install

```bash
pip install artano-lemma            # from PyPI
pip install -e ".[dev]"             # local development
```

## Commands

```bash
lemma paths        # show where cards/ and schema resolve
lemma list         # list every card
lemma show <id>    # print one card as JSON
```

## Layout

```
sdk-py/
├── pyproject.toml
├── README.md
├── artano_lemma/
│   ├── __init__.py
│   ├── version.py
│   ├── cards.py          Shared-corpus loader
│   └── cli.py            Command-line entry point
└── tests/
    └── test_cards.py
```

## License

Apache-2.0. The cards corpus bundled into the installed package
(`artano_lemma/_corpus/`) is CC-BY 4.0 — its `LICENSE` travels with it;
attribution to Atomira Technologies, S.L. and the Lemma card authors.
