io.github.nvlang/verso

MCPcommunity
v0.4.2io.github.nvlangUnknownAggiornato 3 mesi faGitHub

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…

Funziona in
ClaudeCursorCopilotGemini

Dedotto dai trasporti dichiarati da questo annuncio (stdio). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.

Indicizzato automaticamente da fonti pubbliche. Non ancora verificato dal suo sviluppatore su Forge.Rivendica questo annuncio →
3 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.nvlang
LicenzaUnknown
Versione0.4.2
Fontemcp-registry
GitHubnvlang/verso-mcp
SBOMCycloneDX 1.6 ↓
Stato di fiducia
F
10/100Non affidabile
✓Presente nell’indice di Forge+10/10
—Identità del publisher verificata+0/30
→ Publisher: esegui `forge publish` dal repo per rivendicarne la proprietà
—Verifica del dominio+0/10
→ Al momento non disponibile per questo tipo di annuncio — oggi il controllo del dominio viene eseguito solo per i pacchetti su npm, quindi questa riga non può ancora essere ottenuta qui, indipendentemente da cosa sia ospitato sul dominio.
—Analisi prompt injection · non eseguita+0/30
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
—Analisi offuscamento / esfiltrazione · non eseguita+0/20
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
Incollalo in Claude Code, Cursor o qualsiasi assistente di IA per colmare tutte le lacune
StatoIndicizzato dalla community
PublisherNon verificato
FirmaNon firmato
Dominio—
Provenienza—
DipendenzeNon verificate
Superficie di strumenti—
Analisi di sicurezzaNon eseguita
ValutazioniNessuna
Indicizzato13 giu 2026

La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.

Strumenti

Non ancora analizzato

Forge non ha alcuna analisi registrata per questa voce, quindi non ha alcuna osservazione della sua superficie di strumenti. È assenza di prove, non prova che non esponga alcuno strumento.

Descrizione

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…

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…