io.github.rafapra3008/lu-mcp-server

Name: io.github.rafapra3008/lu-mcp-server
Rating: 60 (1 reviews)
Author: io.github.rafapra3008

MCPcommunity

v0.1.1io.github.rafapra3008UnknownUpdated 3mo agoGitHub

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…

Automatically indexed from public sources. Not yet verified by the developer on Forge.Claim this listing →

3mo agoLast update

Package

Authorio.github.rafapra3008

LicenseUnknown

Version0.1.1

Sourcemcp-registry

GitHubrafapra3008/cervellaswarm.git

Trust Status

60/100Good

✓Listed in Forge index+10/10

—Publisher identity verified+0/25

→ Publisher: run `forge publish` from the package repo to claim ownership

—Ed25519 publish signature+0/10

→ Included automatically when the publisher runs `forge publish`

—Domain verification+0/5

→ Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }

✓CVE scan · clean+30/30

✓Static analysis · clean+20/20

—npm provenance (Sigstore)+0/5

→ Publish from GitHub Actions with the --provenance flag

Paste into Claude Code, Cursor, or any AI assistant to fix all gaps

StatusCommunity-indexed

PublisherUnverified

SignatureUnsigned

Domain—

Provenance—

DependenciesNot audited

Tool surface—

Security scan✓ Cleanv0.1.3 · 19d ago

EvalsNone

IndexedJun 13, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.

About

Keywords

mcp