Packages

atp_mcp

0.8.0
0.8.0 0.7.0 0.6.0 0.5.1 0.5.0 0.4.0 0.3.0 0.2.0 0.1.2 0.1.1 0.1.0

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

HexDocs Report package

Current section

Files

Jump to
Documentation
Changelog
License
11 Versions
2 Dependencies
Dependants
Files
Activity
atp_mcp CITATION.cff
Raw

CITATION.cff 

cff-version: 1.2.0
message: "If you use this software, please cite it using these metadata."
title: "AtpMcp"
abstract: >-
  AtpMcp is a Model Context Protocol (MCP) server that exposes the SystemOnTPTP,
  StarExec, Isabelle and LocalExec theorem-prover backends of AtpClient as tools
  for language-model agents over stdio JSON-RPC.
type: software
authors:
  - family-names: Schuster
    given-names: Johannes
    orcid: "https://orcid.org/0009-0003-5339-7216"
    affiliation: "Otto-Friedrich-Universität Bamberg, Germany"
version: "0.8.0"
date-released: "2026-10-27"
license: MIT
repository-code: "https://github.com/jcschuster/AtpMcp"
url: "https://hexdocs.pm/atp_mcp"
keywords:
  - Model Context Protocol
  - MCP
  - automated theorem proving
  - language model agents
  - TPTP
  - Isabelle
  - Elixir
  - BEAM
doi: 10.5281/zenodo.23044595