io.github.rafapra3008/lu-mcp-server

MCPcommunauté
v0.1.1io.github.rafapra3008UnknownMis à jour il y a 5 moisGitHub

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…

Fonctionne dans
ClaudeCursorCopilotGemini

Déduit des transports déclarés par cette annonce (stdio). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.

Indexé automatiquement depuis des sources publiques. Pas encore vérifié par son développeur sur Forge.Revendiquer cette annonce →
il y a 5 moisDernière mise à jour
Paquet
Auteurio.github.rafapra3008
LicenceUnknown
Version0.1.1
Sourcemcp-registry
GitHubrafapra3008/cervellaswarm.git
SBOMCycloneDX 1.6 ↓
Statut de confiance
F
10/100Non fiable
✓Listé dans l’index Forge+10/10
—Identité de l’éditeur vérifiée+0/30
→ Éditeur : exécutez `forge publish` depuis le dépôt pour revendiquer la propriété
—Vérification de domaine+0/10
→ Actuellement indisponible pour ce type d’annonce — la vérification de domaine ne s’exécute aujourd’hui que pour les paquets adossés à npm, cette ligne ne peut donc pas encore être obtenue ici, quel que soit le contenu hébergé sur le domaine.
—Analyse d’injection de prompt · non exécutée+0/30
→ Pas encore analysé — l’archive du dépôt est analysée à la prochaine exécution du cron
—Analyse d’obfuscation / exfiltration · non exécutée+0/20
→ Pas encore analysé — l’archive du dépôt est analysée à la prochaine exécution du cron
Collez-le dans Claude Code, Cursor ou tout assistant d’IA pour combler toutes les lacunes
StatutIndexé par la communauté
ÉditeurNon vérifié
SignatureNon signé
Domaine—
Provenance—
DépendancesNon audité
Surface d’outils—
Analyse de sécuritéNon exécutée
ÉvaluationsAucune
Indexé13 juin 2026

La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.

Outils

Pas encore analysé

Forge n’a aucune analyse enregistrée pour cette entrée et n’a donc aucune observation de sa surface d’outils. C’est une absence de preuve, pas la preuve qu’elle n’expose aucun outil.

À propos

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,…

Mots-clés
mcp
Alternatives
Comparaison des surfaces d’outils…