fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

Jamailar / Beav

Desktop AI workspace for content creators that saves and transcribes social posts, plans content, writes drafts, and makes images and short videos.

macro-inc / macro

Macro is an all-in-one team workspace combining email, chat, docs, tasks, agents, calls, and CRM with shared AI memory.