angrysky56/mcp-logicConnectors
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
46
taielab/
awesome-hacking-lists
taielab/awesome-hacking-listsCollections
A curated collection of top-tier penetration testing tools and productivity utilities across multiple domains. Join us to explore, contribute, and enhance your hacking toolkit!
1.4k
cyanheads/
pubmed-mcp-server
cyanheads/pubmed-mcp-serverConnectors
Search PubMed/Europe PMC, fetch articles and full text (PMC/EPMC/Unpaywall), citations, MeSH terms via MCP. STDIO or Streamable HTTP.
148