Metadata-Version: 2.4
Name: akshi
Version: 0.0.1
Summary: Streaming-first multi-analysis verification engine — placeholder release
Author-email: Saksh AI <security@saksh.ai>
License-Expression: LicenseRef-Proprietary
Project-URL: Homepage, https://saksh.ai
Project-URL: Repository, https://github.com/saksh-ai/akshi
Keywords: verification,formal-verification,z3,lean,proof
Classifier: Development Status :: 1 - Planning
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.11
Description-Content-Type: text/markdown

# Akshi

Streaming-first multi-analysis verification engine. Part of [Saksh·ai](https://saksh.ai).

This is a placeholder release. Full package coming soon.
