Skip to main content

Sakshai — Formal verification for AI outputs

Project description

Sakshai

Formal verification for AI outputs.

https://saksh.ai

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

sakshai-0.0.1.tar.gz (1.1 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

sakshai-0.0.1-py3-none-any.whl (1.3 kB view details)

Uploaded Python 3

File details

Details for the file sakshai-0.0.1.tar.gz.

File metadata

  • Download URL: sakshai-0.0.1.tar.gz
  • Upload date:
  • Size: 1.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.14.3

File hashes

Hashes for sakshai-0.0.1.tar.gz
Algorithm Hash digest
SHA256 d179edf17a6e131020b8a51f13110a1994db272ac91cd73b2cdd3ac0d1b430db
MD5 6616c94fe38eb7779847f0bfdea55083
BLAKE2b-256 67d5e189abfede1a20369d19d74f25a522fe1e2df0d779c59903fb3cebc19a04

See more details on using hashes here.

File details

Details for the file sakshai-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: sakshai-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 1.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.14.3

File hashes

Hashes for sakshai-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 b8750a20a58ed6956cda95343292da2ec9d953b22387223fa827809602b2a467
MD5 3ba71658ae2cf18f6b16cadeb5f65b43
BLAKE2b-256 326dff4ad0ed4250737e9bbd5dcab4955f9d88e7130b2a0e90d74cc8dafd314b

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page