atp_mcp

Hex

MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theorem-prover backends from AtpClient over stdio JSON-RPC.

Versions collected1

Direct dependencies2From release 0.7.0

Last observed22 Oct, 12:16 UTC

Downloads & popularity

4downloads

1-day window · source-reported counts22 Oct 2026

52.50

20 Oct22 Oct

hex · 2 observations shown. Missing days are unknown.

View observed values

Date / source period	Value	Observed at
2026-10-22	4	2026-10-22T12:16:33.6308072Z
2026-10-20	5	2026-10-20T17:11:39.1315945Z

Collected releases

Version	Published	Direct dependencies	Open version
0.7.0Registry latest	15 Oct 2026	2

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 17:11 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package:01a02eb657f02275cf916b359dd5ac4741436fb6d1e304ff9a73d3d1957f3400