Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Free
One server, in data science & ml. Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Data Science & ML · github.com/jcschuster
1
server published
1 category
—
installs
across every listing
0
followers
told when a release lands
—
average rating
no reviews yet
1 MCP server. 1 of 1 is free to start.
Authentication
0 of 1 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.