Search for:

A server for exploring information about quantum physics or quantum-related topics

  • Why this server?

    This server directly mentions 'quantum computing resources' and allows AI assistants to access, control, and interpret results from them.

    -
    security
    F
    license
    -
    quality
    A Model Context Protocol server that integrates with Amazon Braket, allowing AI assistants to access, control, and interpret results from quantum computing resources.
    TypeScript
  • Why this server?

    This server, while specific to Coq, deals with dependent type checking and property proving which are relevant to formalizing quantum algorithms and protocols.

    -
    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.
    2
    Python
    MIT License
  • Why this server?

    This server provides cryptographic tools, and quantum computing has implications for modern cryptography.

    -
    security
    F
    license
    -
    quality
    A Model Context Protocol server built with Express.js that provides cryptographic tools including key pair generation, shared secret derivation, and message encryption/decryption.
    160
    JavaScript
  • Why this server?

    This server allows LLMs to interact with Ethereum networks, manage wallets, query blockchain data, and execute smart contract operations which can be relevant in the context of quantum-resistant cryptography.

    A
    security
    A
    license
    A
    quality
    A Model Context Protocol server that gives LLMs the ability to interact with Ethereum networks, manage wallets, query blockchain data, and execute smart contract operations through a standardized interface.
    31
    323
    2
    TypeScript
    MIT License