jcschusterVerified

Claim this listing

io.github.jcschuster

The registry namespace is a GitHub login.

Repositories

https://github.com/jcschuster/AtpMcp

Servers

Not measured4 / 6 checks passed
AtpMcp
jcschusterVerified
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Developer Tools Code & DevOps
- AI models & agents
- Updated recently
Not checked yet