@article{euclidmcpamodelcontextprotocolserverford,
  title = {Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog},
  author = {Bartolomeo Bogliolo},
  year = {2026},
  eprint = {2607.21412},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.21412},
}