"author:autonull" matching MCP servers:

• MCP Logic

  autonull

  F

  license

  A

  quality

  C

  maintenance

  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 2026-05-15

  13

  4