io.github.nvlang/verso

MCPcomunidad
v0.4.2io.github.nvlangUnknownActualizado hace 3 mGitHub

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

An MCP (Model Context Protocol) server that lets an AI agent search and read documentation built with Verso, Lean's documentation authoring Verso powers most of the Lean ecosystem's reference docs and books — the Lean Language Reference, Functional Programming in Lean, Theorem Proving in Lean 4, and more. Verso Manual-genre sites publish a machine-readable cross-reference index (); this server…

Funciona en
ClaudeCursorCopilotGemini

Inferido de los transportes que declara este listado (stdio). Que un cliente no aparezca aquí no significa que se haya descartado: simplemente Forge no puede confirmarlo.

Indexado automáticamente desde fuentes públicas. Aún sin verificar por su desarrollador en Forge.Reclamar este listado →
hace 3 mÚltima actualización
Paquete
Autorio.github.nvlang
LicenciaUnknown
Versión0.4.2
Fuentemcp-registry
GitHubnvlang/verso-mcp
SBOMCycloneDX 1.6 ↓
Estado de confianza
F
10/100No fiable
✓Listado en el índice de Forge+10/10
—Identidad del publicador verificada+0/30
→ Publicador: ejecuta `forge publish` desde el repo para reclamar la propiedad
—Verificación de dominio+0/10
→ Ahora mismo no está disponible para este tipo de listado: hoy la comprobación de dominio solo se ejecuta para paquetes publicados en npm, así que esta fila todavía no se puede conseguir aquí, sea lo que sea lo que haya alojado en el dominio.
—Análisis de inyección de prompts · no ejecutado+0/30
→ Aún sin analizar: el archivo del repositorio se analiza en la próxima ejecución del cron
—Análisis de ofuscación / exfiltración · no ejecutado+0/20
→ Aún sin analizar: el archivo del repositorio se analiza en la próxima ejecución del cron
Pégalo en Claude Code, Cursor o cualquier asistente de IA para corregir todas las carencias
EstadoIndexado por la comunidad
PublicadorSin verificar
FirmaSin firmar
Dominio—
Procedencia—
DependenciasSin auditar
Superficie de herramientas—
Análisis de seguridadNo ejecutado
EvaluacionesNinguna
Indexado13 jun 2026

La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.

Herramientas

Aún sin analizar

Forge no tiene ningún análisis registrado de esta entrada, así que no tiene ninguna observación de su superficie de herramientas. Eso es ausencia de pruebas, no prueba de que no exponga ninguna herramienta.

Acerca de

An MCP (Model Context Protocol) server that lets an AI agent search and read documentation built with Verso, Lean's documentation authoring Verso powers most of the Lean ecosystem's reference docs and books — the Lean Language Reference, Functional Programming in Lean, Theorem Proving in Lean 4, and more. Verso Manual-genre sites publish a machine-readable cross-reference index (); this server consumes that index and the rendered HTML. The format of the files that this server depends on is…

Palabras clave
mcp
Alternativas
Comparando superficies de herramientas…