depscope
Packages
IntegrateAPI DocsCuratorBenchmarkCoverage
Sign inGet API access
depscope/pypi/apalache-rpc-client

apalache-rpc-client

pypiv0.7.2

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

6 versions1 maintainers2 deps8 weekly dl
konnov/apalache-rpc-client
58
/ 100
Health
use with caution

[email protected] low health (58/100) — consider alternatives

  • Moderate health score (58/100) — verify manually
Health breakdown0 – 100
25/25
maintenance
0/20
popularity
25/25
security
6/15
maturity
2/15
community
Vulnerabilities
0
none known

Health History

Dependency Tree

License Audit

Dependencies (2)
itf-pyrequests
API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/apalache-rpc-client
More from pypi
boto3packagingurllib3idnarequestscharset_normalizer
Browse all pypi packages →

Last updated · 2026-04-06T19:07:26.415701Z

DepScope

Package intelligence for AI agents. 19 ecosystems.

Resources
API DocumentationHallucination BenchmarkFor EnterpriseSwagger / OpenAPIPopular PackagesCoverageAI Plugin SetupWatch the pitch (60s)
Legal
Legal hubPrivacy PolicyTerms of ServiceCookie PolicyAcceptable UseAttributionDPASub-processorsSecurityImprintContact中文
© 2026 Cuttalo srl — Italy · VAT IT03242390734Built for AI agents