io.github.jcschuster/atp_mcpai

AtpMcp

Verified · today

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.

Install

claude mcp add atp_mcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1

Our take

Connects agents to automated theorem-proving services and tools such as SystemOnTPTP, StarExec, Isabelle, and local ATPs, returning standardized SZS verdicts. It is aimed at formal-methods researchers and proof-oriented agent builders; the repository is active but has no visible adoption signal yet, suggesting an early-stage project.

reviewed by hand · 2026-10-30

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
0
last commit
today
archived
no
license
MIT
in registry since
2026-10-29

github.com/jcschuster/AtpMcp

More in ai

browse all →
reaai

REA

Verified · 13 days ago

Reverse engineer anything from your terminal or agent with one CLI and MCP server.

hand-reviewed291k stars232k dl/wkchecked 13 days ago

claude-flowai

claude-flow

Verified · 42 days ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed73k stars19k dl/wkchecked 42 days ago

tldrawai

tldraw

Verified · 43 days ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 43 days ago

codebase-memory-mcpai

Codebase Memory

Verified · 33 days ago

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed45k stars12k dl/wkchecked 33 days ago

openmetadata-mcpai

OpenMetadata

Verified · 25 days ago

Official OpenMetadata MCP: 21 read and write tools for search, lineage, data quality, governance.

hand-reviewed15k starschecked 25 days ago

mobilerunai

Mobilerun

Verified · 2 mo ago

Let AI agents control Android and iOS devices on Mobilerun Cloud: screen, input, apps, workflows.

hand-reviewed9.4k starschecked 2 mo ago