LingNao
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
Servidor MCP · de genesis-plan
Resumen
LingNao es un servidor MCP publicado por genesis-plan. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). El último cambio que registramos fue el 2026-10-13. Según nuestra pasada por los marketplaces del 2026-10-13.
Qué pide
- Se ejecuta en tu equipo
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Paquete
npm lingnao-mcp (lingnao-mcp en npm)
- Descargas de npm por semana: 434 (2026-10-13)
- Descargas de npm por mes: 841 (2026-10-13)
- Última versión en npm: 1.4.1, publicada el 2026-10-08
- La versión declarada 1.4.2 no figura en npm
Los datos de npm proceden del registro público de npm (registry.npmjs.org, api.npmjs.org). Cada cifra es del propio registro y nunca se suma a otra. Un registro que no publica una cifra no muestra ninguna: sin cifra no es cero.
Funciona con
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como servidor MCP local: paquete npm
Generado a partir de lo que declara Official MCP Registry.
claude mcp add --transport stdio lingnao -- npx -y lingnao-mcp[mcp_servers.lingnao]
command = "npx"
args = ["-y", "lingnao-mcp"]{
"mcpServers": {
"lingnao": {
"command": "npx",
"args": [
"-y",
"lingnao-mcp"
]
}
}
}Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 1.4.2 | Descargas por mes (npm): 841 Descargas por semana (npm): 434 Forks (GitHub): 0 Estrellas (GitHub): 0 |
Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
- Official MCP Registry: publicó la versión 1.4.2 (antes 1.4.1)
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
logic-server ai.nocturnus/logic-server
Agent reasoning, memory, and token-optimized context for AI applications.
-
Verify AI agent communication with session types and formal proofs
-
opengate-mcp io.github.nickjlamb/opengate-mcp
Check whether an AI answer is grounded in its context — deterministic, no LLM judge.
-
agentstack-mcp io.github.inity13/agentstack-mcp
Deterministic reasoning stack for AI agents: simulate, decide & compute, plus cross-domain tools.
-
Local deterministic project memory for AI agents with context packs, gates and checkpoints.
-
AI Agents Framework with Self Reflection and MCP support
-
Human-in-the-loop for AI agents over MCP elicitation: confirm/form dialogs plus a capability doctor
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
mcp com.decionis/mcp
Authorize consequential AI agent actions before execution
-
An MCP server that provides a local, persistent, self-maintaining knowledge base for AI agents
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en Claude Code: claude-plugins-community (5)
-
evalview-mcp io.github.hidai25/evalview-mcp
Regression testing for AI agents. Golden baselines, CI/CD, LangGraph, CrewAI, OpenAI, Claude.
-
Local-first persistent session memory for Claude Code and other agents. SQLite + FTS5, no cloud.
-
engram io.github.tstockham96/engram
Intelligent agent memory with automatic extraction, consolidation, and bi-temporal recall.
-
MCP server for agent social media platform - enables AI agents to interact in team-based discussions
-
eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp
Eu Ai Act Compliance MCP Server by MEOK AI Labs
Publicado en Claude Code: claude-plugins-official (5)
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
-
Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
Publicado en Claude: knowledge-work-plugins (5)
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
MCP server for terminal commands, file operations, and process management
-
Sanity content platform integration with MCP server, agent skills, and slash commands. Query and author content, build and optimize GROQ queries, design schemas, and set up Visual…
-
Connects Claude Code to the Synthflow AI voice-agent platform through its hosted MCP server, with skills for reviewing calls and auditing agent prompts, plus a docs-search…
Publicado en Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
Publicado en Community GitHub marketplaces (5)
-
Deterministic batch tools so LLM agents stop guessing dates and math.
-
Local-first, governable long-term memory for AI coding agents
-
Deterministic repository oracle for AI agents: inventory, dependency graph, frontend-backend join.
-
al-buddy-memory io.github.flytomoon/al-buddy-memory
Governed local memory for AI agents: facts are retired, not overwritten, and every call is audited.
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
Publicado en Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Publicado en Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
-
power-automate
Build, edit, run, and debug Power Automate cloud flows via the FlowAgent MCP server — connection lifecycle, surgical edits, copy across environments, run management, and validated…
Publicado en Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
Let Grok Bot reach MCP servers on your private Tailscale network. Sign in to Tailscale to connect your tailnet; Grok Bot joins it as one tagged device and only reaches the hosts…
Publicado en Docker MCP Catalog (5)
-
Server-enforced workflow discipline for AI agents: work items, dependency graphs, quality gates
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
Wayfound’s MCP server allows business users to govern, supervise, and improve AI Agents.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
Publicado en Official MCP Registry (5)
-
logic-server ai.nocturnus/logic-server
Agent reasoning, memory, and token-optimized context for AI applications.
-
Verify AI agent communication with session types and formal proofs
-
opengate-mcp io.github.nickjlamb/opengate-mcp
Check whether an AI answer is grounded in its context — deterministic, no LLM judge.
-
agentstack-mcp io.github.inity13/agentstack-mcp
Deterministic reasoning stack for AI agents: simulate, decide & compute, plus cross-domain tools.
-
Local deterministic project memory for AI agents with context packs, gates and checkpoints.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.