PyPI Stats

Search

All packages
Top packages

Track packages

raucle


PyPI page
Home page
Author: None
Summary: Open-source verifiable agent accountability — cryptographic capability receipts and formal proofs for LLM agent activity
Latest version: 0.22.0

Optional dependencies: agent-framework | autogen-agentchat | crewai | cryptography | fastapi | langchain-core | pillow | pydantic | pypdf | pytesseract | pytest | pytest-asyncio | pytest-cov | pyyaml | ruff | torch | transformers | uvicorn | z3-solver

Downloads last day: 2
Downloads last week: 5
Downloads last month: 235