linuxdo-idea-ui
A collection of Tampermonkey scripts for skinning linux.do: featuring JetBrains/Darcula IDE styles, Feishu IM, and DingTalk IM appearances.
AI translation
Compress files online instantly. Reduce the size of JPG, PNG, WebP, MP4, MP3, PDF and 100+ formats. Fast, secure, and completely free.
PluginsPythonGitHub @micompressOnlineOwner unconfirmed
Have you tried it? One tap is enough. No sign-in needed.
Owners of public repositories under a personal GitHub account can sign in to verify ownership and manage the introduction themselves. No administrator approval is needed.
Sign in, generate a verification file, and commit it to this repository’s default branch within 30 minutes. Files on other branches or forks do not count. Then check the file below to manage the project without administrator approval. Keep the file to retain your access.
If needed, you will go to sign-in. After signing in, return here and press your chosen verification button again.
Run /nomorevibe verify in your project folder to verify ownership and manage the introduction yourself.
Verify in one minuteAsk about other verification options
Flow Launcher plugin: compress images, PDFs, video, audio, documents & archives via micompress.com
Translation pending
Taken from the repository README
Loading the full README.
Read the full README ↗Compress images, PDFs, video, audio, documents & archives right from Flow Launcher, powered by micompress.com.
mc C:\Users\me\Pictures\photo.jpg
Type mc followed by a file path (Explorer's Copy as path works — quotes are stripped), pick a preset
(Recommended, Lossless or Extreme) and press Enter. An optimized photo-min.jpg is written next
to the original; the original file is never modified.
From Flow Launcher: pm install MiCompress
Small files work without an account. For bigger files and a monthly allowance, paste your personal API key
(mc_…, shown on your account page — creating an account is free) into
Settings → Plugins → MiCompress → API key. Alternatively set the MICOMPRESS_API_KEY environment variable;
the plugin setting wins if both are present.
| Plan | Compressions per month | Notes |
|---|---|---|
| No key (anonymous) | Anonymous limits | Small files only |
| Free account | 50 via the API | Files up to 100 MB |
| Plus ($9.99/mo) | 1,000 | Shared with website usage |
| Pro ($19.99/mo) | 5,000 | Shared with website usage |
When the allowance is used up the plugin shows the server's quota message with a link to micompress.com/plans.
The selected file is uploaded over HTTPS to micompress.com, compressed there, and the result is downloaded back. No account is needed within the anonymous size limits. Uploaded files are deleted from the server automatically — see the privacy policy.
Supported formats include JPG, PNG, WebP, GIF, AVIF, HEIC, TIFF, SVG, RAW, PDF, MP4, MOV, MP3, WAV, DOCX, XLSX, PPTX, EPUB, ZIP, 7Z and more.
MIT © MiCompress