AtpMcp
v0.8.1
io.github.jcschuster/atp_mcp
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
v1.0.0
com.eventcompletion/events
Search source-verified events (sports, festivals, school holidays) and create progress pages.