io.github.rafapra3008/lu-mcp-server

MCPcommunity
v0.1.1io.github.rafapra3008UnknownAggiornato 5 mesi faGitHub

Verify AI agent communication with session types and formal proofs

A language for verified AI agent protocols. [](packages/lingua-universale/) [](packages/lingua-universale/) Try it in your browser -- no install needed. Watch AI agents live -- 3 agents on a verified protocol. Your AI agents talk to each other, but nothing guarantees they follow the rules. Wrong sender, wrong message order, missing steps -- and you only find out in production. Lingua Universale…

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 →
5 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.rafapra3008
LicenzaUnknown
Versione0.1.1
Fontemcp-registry
GitHubrafapra3008/cervellaswarm.git
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

A language for verified AI agent protocols. [](packages/lingua-universale/) [](packages/lingua-universale/) Try it in your browser -- no install needed. Watch AI agents live -- 3 agents on a verified protocol. Your AI agents talk to each other, but nothing guarantees they follow the rules. Wrong sender, wrong message order, missing steps -- and you only find out in production. Lingua Universale (LU) is a type checker for AI agent conversations. You define the protocol, LU proves it's correct,…

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…