Hämta Linux - Bästa programvaran och apparna | 44

Coq Beta är en kraftfull plattform för formell bevisförvaltning som är tillgänglig för Windows. Denna programvara är en distribution av Coq-bevisassistenten och inkluderar en…

Coq är ett formellt bevisförvaltningssystem som erbjuder en distributionslösning för Coq-bevisassistenten, tillsammans med ett urval av Coq-bibliotek. Programmet är utformat för att underlätta installation…

Netflix Fixer för Linux är ett Firefox-tillägg som optimerar streamingupplevelsen av Netflix på Linux och Unix-liknande system. Detta prenumerationsbaserade multimediaverktyg är byggt på avancerad…

Google Voice Pin Tab är en Firefox-tillägg som förenklar åtkomsten till ditt Google Voice-konto. Utformad för användarvänlighet, låter detta prenumerationsbaserade verktyg användare öppna sitt…

PVE Paste Helper är ett användbart tillägg för Chrome som underlättar textinmatning i Proxmox VE noVNC VM-konsoler. Med hjälp av detta verktyg kan användare…

Koala Clash är en modern GUI-klient som erbjuder en anpassad proxyupplevelse för användare av Windows, macOS och Linux. Programmet är baserat på Tauri och…

ImageMagick Q8 är en gratis och öppen källkod programvara för redigering och manipulering av digitala bilder. Den erbjuder en mängd verktyg för att skapa,…

Container Plus är en kraftfull tillägg för Firefox som erbjuder användarna en smidig lösning för att hantera olika webbläsartabbar genom separata containrar. Med hjälp…

openmcp-client, utvecklad av LSTM Kirigaya, är en skrivbordsapplikation för felsökning, testning och hantering av Model Context Protocol-servrar. Den kombinerar en grafisk inspektör med kommandoradsverktyg…

DOMShell är en innovativ webbläsartillägg för Chrome som omvandlar webbläsaren till ett filsystem som kan navigeras med Linux-kommandon. Detta verktyg tillåter användare att använda…

Termux Toolbox: AI Commands är en gratis app för Android som hjälper användare att bemästra Termux, en kraftfull terminalemulator. Med funktioner som en AI-guide…

MCP Monitor är ett kraftfullt verktyg för systemövervakning som använder Model Context Protocol (MCP) för att exponera systemmetrik. Det gör det möjligt för stora…

Aiway är en lättviktig och högpresterande API och AI-gateway byggd på Rust, vilket ger både säkerhet och stabilitet. Med stöd för dynamisk skalning och…

renderdoc-mcp är en kraftfull MCP-server och kommandoradsverktyg som förenklar GPU-felavhjälpning genom att kombinera RenderDoc-replay API med 59 strukturerade verktyg. Programmet möjliggör för AI-assistenter att…

Mediabox MCP är en kraftfull självhostad medieserver som kombinerar AI-teknologi för att effektivisera mediehantering. Programmet erbjuder tre olika sätt att köra det: via en…

open-codex-computer-use, utvecklad av IFurySt, tillhandahåller en lokal bro som låter AI-agenter operera skrivbordsmiljöer för automatisering och testning. Verktyget exponerar en standardiserad MCP-slutpunkt så att…

Mcp Etisk Hackning, av Cmpxchg16, är ett open-source verktyg för att undersöka säkerhetsrisker i Model Context Protocol. Det hämtar och analyserar Reddit-diskussioner och LinkedIn-inlägg…

ask-mai från Rainu är en terminalbaserad chattapplikation och Model Context Protocol-server som kopplar samman utvecklare med flera stora språkmodellleverantörer, och fungerar som en programmerbar…