"author:autonull" matching MCP servers:

• MCP Logic

  autonull

  A

  security

  F

  license

  -

  quality

  Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.

  Last updated 8 days ago

  13

  4