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: 1.3.14
min add bunLanguagebunbundlerjavascript
Version: 4.13.0
min add opencvLibraryc-plus-pluscomputer-visiondeep-learning
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
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