Reusable proof profile, report, graph, and witness-planning primitives.
Cross-referenced across 55 tracked directories
#1714
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
7/3/2026
First Seen
Recently added to the ecosystem
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
Zero-to-production AI agent deployment framework
Python SDK for H Company's Agent API: autonomous agents powered by Holo.
Instrument LLM clients and emit usage events to Lago.
Adam Allcock
Python SDK for Codex agents controlling visible ChatGPT web sessions through a local backend.