vscode-lean4 icon indicating copy to clipboard operation
vscode-lean4 copied to clipboard

Please verify domain in the vscode marketplace

Open solomatov opened this issue 6 months ago • 6 comments

To establish more trust and distinguish from other extensions. See this guide: https://code.visualstudio.com/api/working-with-extensions/publishing-extension

solomatov avatar May 29 '25 23:05 solomatov

Done: Verification

Thanks for the reminder!

mhuisi avatar Jun 03 '25 17:06 mhuisi

@mhuisi Thank you very much! (btw, you could do the same, in almost the same way on the github org)

solomatov avatar Jun 03 '25 17:06 solomatov

Looks like it's gone again.

BTW, the guide isn't sufficient to get verified; the Microsoft support team also has to manually agree to the verification, and it's not clear what the criteria are.

mhuisi avatar Jun 05 '25 19:06 mhuisi

@mhuisi Thanks again. Really appreciate it!

solomatov avatar Jun 05 '25 20:06 solomatov

@mhuisi Microsoft published an article about verification: https://developer.microsoft.com/blog/security-and-trust-in-visual-studio-marketplace

It seems:

If you see a blue checkmark by an extension, it means the publisher had undergone a series of checks by Marketplace team – their domain was verified, their extensions and domain have been in good standing with the community for at least 6 months.

So, it's understandable why the badge isn't displayed.

solomatov avatar Jun 16 '25 23:06 solomatov

Thanks - perhaps that's what's going on :-)

I think the checkmark disappeared when I upgraded VS Code, so there's a chance that the old VS Code version just didn't respect this rule yet.

mhuisi avatar Jun 17 '25 08:06 mhuisi