Packageactivev0.1.2

Euclid-MCP

io.github.meob/euclid-mcp

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

meo/euclid-mcpUpdated Jul 13, 2026

Auth

None required

License

Apache-2.0

Unknown facts are omitted here and listed as pending in the profile.

Trust verdict

No blockers found

No blockers found across the assessed dimensions.

assessed on 3 of 4 dimensions · 1 not applicable

MaintenanceActively maintained — last activity 1 days ago.Package registries (npm/PyPI/NuGet) · as of Jul 14, 2026
Pass
ProvenanceOrigin linked to a public source repository.Official MCP Registry · as of Jul 13, 2026
Pass
Supply chainNo known vulnerabilities in scanned package dependencies (OSV).OSV (Google Open Source Vulnerabilities) · as of Jul 14, 2026
Pass

Profile

What this server is — descriptive, not a rating. The verdict above judges it; this describes it.

Classification

CapabilityPending — classifier not yet run

IndustryPending — classifier not yet run

Exposure

Side effectsPending — tools not yet classified

Auth modelNone requiredmcp_registry

Data surfacePending — not yet determined

Geography

HostingPending — no endpoint to resolve

CountryPending — not resolved

Tool surface

Not yet probed — this server's live tool surface hasn't been captured yet, so its tools and measurements aren't available.

Adoption

No adoption signal captured yet for this package.

Connect

pypi package · v0.1.2 · stdio

uvx euclid-mcp

Sources

Every verdict and label is attributable to its source and recomputed from our own landed copy, never read live on this page.