AutoShelf launches menu-bar Mac file automation

// 1d agoPRODUCT LAUNCH

AutoShelf launches menu-bar Mac file automation

AutoShelf is a macOS file-organization app that watches chosen folders and moves files automatically based on rules you set once. It leans into a simple, menu-bar-first workflow, with templates, multi-condition matching, and a one-time $19.99 unlock after a free trial.

// ANALYSIS

Hot take: this is a pragmatic “set it and forget it” utility for people who are tired of hand-sorting Downloads and Desktop, and it reads like a modern, lower-friction take on classic Mac file automation.

–Strong fit for users who want deterministic rules instead of AI guesswork.
–The menu-bar workflow and templates should keep onboarding lightweight.
–One-time pricing is a clear differentiator versus subscription-heavy Mac utilities.
–The biggest question is how far the rule engine goes in real-world edge cases, especially for users with complex folder structures.

// TAGS

macosproductivityfile-organizationmenu-bar-appsautomation

DISCOVERED

1d ago

2026-05-19

PUBLISHED

1d ago

2026-05-19

RELEVANCE

7/ 10

AUTHOR

[REDACTED]

// KEEP READING

More AI developer news from the feed

EXPLORE FULL FEED

UPDATE1h ago

Claude Code v2.1.145: JSON, 1M context

Claude Code adds JSON output for scriptable workflows and native 1M token support for Bedrock and Vertex AI. The update introduces "plugin X-ray" for inspecting MCP tools before installation.

RESEARCH2h ago

OpenAI model disproves Erdős geometry conjecture

OpenAI's internal reasoning model has autonomously disproved Paul Erdős's 1946 Unit Distance Conjecture by identifying a novel family of geometric constructions. The result, verified via the Lean proof assistant and validated by Fields Medalist Terence Tao, represents a landmark achievement where AI moved beyond pattern matching to solve a prominent open problem in combinatorial geometry.

RESEARCH3h ago

OpenAI o1 disproves 80-year-old Erdős geometry conjecture

OpenAI's general-purpose reasoning model has autonomously disproven the 1946 Erdős planar unit distance conjecture, a central problem in discrete geometry that had resisted human efforts for eight decades. By utilizing advanced algebraic number theory and Golod–Shafarevich theory to construct new point-set families, the model demonstrated that long-held square-grid assumptions were suboptimal, marking a watershed moment for AI in pure mathematics.