Formal verification as agentic training signal — CLI + self-hosted runner
[email protected] is safe to use (health: 56/100)
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/pypi/athanor-aiLast updated · 2026-04-10T05:49:52.614805Z