Autres · Serveur MCP distant

Lingshu Solver

Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.

Visiter le site de Lingshu Solver

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.genesis-plan/lingshu-solver
Version
1.0.22
Statut
Actif
Catégorie
autres
Transport
Streamable HTTP et stdio (processus local)
Paquet
npm
Publié
3 octobre 2026
Mis à jour
3 octobre 2026
Éditeur
genesis-plan (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/genesis-plan) · comment
Site web
hongchenlingjing.com/
Dépôt
github.com/genesis-plan/lingshu-solver
Source
Entrée dans l’API du registre

Points de terminaison distants

TransportURLEn-têtes déclarés
Streamable HTTPhttps://hongchenlingjing.com/mcpAucun

Vérification en direct

Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.

Joignable
Oui (HTTP 200)
Poignée de main
lingshu-solver 1.0.22 · protocole 2024-11-05
Outils trouvés
5 : solve, give_feedback, poly_roots, verify, pay
Vérifié le
5 octobre 2026

Comment fonctionne la vérification en direct

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npmlingshu-solver1.0.22stdioAucune déclarée

Comment connecter Lingshu Solver

Lingshu Solver est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://hongchenlingjing.com/mcp. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.

L’entrée du registre ne déclare aucun en-tête. Si le serveur vous demande de vous connecter, un client qui prend en charge l’autorisation MCP ouvre la page de connexion du service lui-même lors du premier accès.

Il peut aussi s’exécuter en local depuis un paquet Node.js publié sur le registre npm : lingshu-solver, version 1.0.22. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y lingshu-solver@1.0.22.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

{
  "mcpServers": {
    "lingshu-solver": {
      "command": "npx",
      "args": [
        "-y",
        "lingshu-solver@1.0.22"
      ]
    }
  }
}

Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : autres

Voir les 8 395 →
ServeurExécutionPoint de terminaison ou paquet
Limzo Telegram Group StatsRead-only stats for public Telegram groups tracked by Limzo, the anti-spam bot. No API key.Distant et local · HTTP et stdioVérification en direct : ✓ poignée de mainlimzo.com
Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies.Local · stdionpm : @toolwright-adk/linear-bootstrap
LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics.Distant · HTTP et SSEVérification en direct : ✓ poignée de mainlineup-bf157e35.alpic.live
Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking.Distant · HTTPVérification en direct : ✓ poignée de mainlingoris.fr
Lingua Universale MCP ServerVerify AI agent communication with session types and formal proofs.Local · stdioPyPI : lu-mcp-server
Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page.Distant · HTTPVérification en direct : ✓ poignée de mainmcp.apify.com
Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag.Distant · HTTPVérification en direct : ✓ poignée de mainhandsofflinks-mcp.lipmichal.workers.dev
Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup.Distant · HTTPVérification en direct : ✓ poignée de mainlink-preview-api-z4nf.onrender.com