MCP Servers by Nova

"author:A-Proof" matching MCP servers:

• Proof of Invention

  elmariachi111

  -

  security

  A

  license

  -

  quality

  Proof of Invention

  Last updated 8 months ago

  1

  MIT

• Logic-Thinking MCP Server

  quanticsoul4772

  -

  security

  A

  license

  -

  quality

  Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.

  Last updated 4 months ago

  1

  MIT

• Uber Eats MCP Server

  skudskud

  -

  security

  F

  license

  -

  quality

  A proof-of-concept server implementing the Model Context Protocol that enables LLM applications to interact with Uber Eats functionality.

  Last updated a year ago

• MCP Server POC

  ranit532

  -

  security

  A

  license

  -

  quality

  A proof-of-concept MCP server demonstrating various capabilities including mathematical calculations, URL fetching, system information retrieval, data processing, and file operations.

  Last updated 3 months ago

  MIT

• Prometheus MCP

  etruong42

  A

  security

  A

  license

  A

  quality

  A proof-of-concept Prometheus MCP server, which likely enables Claude AI to interact with Prometheus monitoring systems through the Model Context Protocol.

  Last updated 9 months ago

  2

  1

  MIT

• MCP-RoCQ

  angrysky56

  -

  security

  A

  license

  -

  quality

  MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.

  Last updated a year ago

  9

  MIT