depscope
Packages
IntegrateAPI DocsCuratorBenchmarkCoverage
Sign inGet API access
depscope/pypi/axiom-axle-mcp

axiom-axle-mcp

pypiv0.3.3

MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients

License MITpermissive11 versions4 deps454 weekly dl
62
/ 100
Health
use with caution

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

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

Health History

Dependency Tree

License Audit

Dependencies (4)
mcpmcpstarletteuvicorn
API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/axiom-axle-mcp
More from pypi
boto3packagingidnaurllib3certifirequests
Browse all pypi packages →

Last updated · 2026-05-07T17:49:03.492016Z

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