atp-lptp-mcp

v0.11.0npm· JavaScript

MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying

The verdict

Maintained. Maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published 2 months ago.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

MIT

Dependencies

1 direct dependency

Recent releases