MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
Cross-referenced across 55 tracked directories
#8858
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
3/3/2026
First Seen
901
Weekly Downloads
Recently added to the ecosystem
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
Jeremiah Lowin
The fast, Pythonic way to build MCP servers and clients.
grafana
🎖️ 🐍 🏠 ☁️ - Search dashboards, investigate incidents and query datasources in your Grafana instance
Acacian
Credential isolation proxy for AI agents. Injects API keys at the network boundary so your agent never sees the raw credential. Supports domain allowlists, agent auth, policy enforcement, and audit logging.
...more59b9f352-8cdc-44d3-9dd9-db3bfa521880
No description available