Version: 0.1.20
min add leangzTool
The Minimal Public Registry
Verified, up-to-date, and ready for production
Every package here is also readable by agents through the OpenAPI document and the hosted MCP server.
Version: 20260912
Try latest version
min add aeneas-latestDatacompilercoqdeductive-reasoning
MinimalApache-2.0
Minimal featured packages
UP-to-date, and ready for production
Version: 2.1.2
min add cadicalTool
Version: 0.12.7
min add uvLibrarypackagingpythonresolver
Version: 0.74.2
min add fzfToolbashclifish
Version: 0.64.1
min add lazygitToolcligitterminal
Version: 3.14.7
min add pythonLanguage
Version: 13.1.2
min add grafanaToolalertinganalyticsbusiness-intelligence
Version: 8.10.0
min add redisToolcachecachingdatabase
Version: 2.11.4
min add caddyToolacmeautomatic-httpscaddy
Latest news
UP-to-date, and ready for production
Ready to build with confidence?
Start shipping software on a clean foundation today
Get early access