Search

@iqai/mcp-atp

Mcp server for ATP (IQAI's Agent Tokenization Platform) access

v0.0.7 URL: https://unpkg.com/@iqai/mcp-atp@0.0.7/dist/index.js

OpenBrowse Files

mcpATPiqagents

condet

Condensed Detachment

v2.0.1 URL: https://unpkg.com/condet@2.0.1/index.js

OpenBrowse Files

condensed detachmentmodus ponensATPtheorem provingautomated reasoningautomated deductionlogiccalculus

pl1res

Automated theorem prover for first-order predicate logic based on resolution

v0.2.0 URL: https://unpkg.com/pl1res@0.2.0/index.js

OpenBrowse Files

ATPfirst-order predicate logicresolutionautomated theorem proving

tptp

Connecting to the TPTP Problem Library

v1.0.1 URL: https://unpkg.com/tptp@1.0.1/index.js

OpenBrowse Files

TPTPATPtheorem provingautomated reasoning

xfn.18.en.vivo.

this is test module package, please ignore it. this would be remove soon.

v1.0.1 URL: https://unpkg.com/xfn.18.en.vivo.@1.0.1/index.js

OpenBrowse Files

ATP1000BNPParibasOpen