ProseMirror collab editing continued

tl;dr Convex 1.33.0 has a lot of CLI improvements for users & coding agents ## Agentic coding improvements ```txt export CONVEX_AGENT_MODE=anonymous npx convex init npx convex env set --from-file .env.agent npx convex dev --once npx convex run seed:addSeedData ``` - `npx convex init` allows you to ensure a deployment is initialized, but not try to push code to it yet, allowing an agent to set required environment variables before pushing code. - The CLI will now auto-start the local backend to run `convex env` and `convex run` commands. - `npx convex env set` can now accept values interactively, from a file or stdin. For one or many values at once. e.g. `npx convex env set < .env.cloud`. It will refuse to overwrite conflicting values without `--force`, making it generally safe to run. - Saving env variables with `npx convex env list > .env.cloud` now works for multi-line and other fancy values. - Setting up a new backend (agent or otherwise) no longer clobbers your `convex/tsconfig.json` or `README.md`. - Local development data (including anonymous agent backends) now live in your project’s `.convex` folder, making worktree isolation easier. (Convex 1.32) - There’s an `insights` MCP tool as well as `npx convex insights` that agents (and humans) can use to debug issues in production and other cloud deployments. (Convex 1.32) We made other improvements, including fixing one class of circular type errors. See the [CHANGELOG.md](https://github.com/get-convex/convex-backend/blob/main/npm-packages/convex/CHANGELOG.md) for more details. cc @everyone

ian · 3d ago

**New Components directory and challenge updates** The new Components directory is live at https://www.convex.dev/components — and the [Component Authoring Challenge](https://www.convex.dev/component-challenge) is still running. Thanks for your patience while we shipped this. We've just approved a new batch of community-built components. **Components Submission updates** - You now[ log in](https://www.convex.dev/components) with your Convex account to submit a component - The new profile page shows your submissions and review feedback. If you submitted before the new directory went up and don't see your component, DM me (it matches the email you used to submit) - New Preflight Check on the submit page tells you if your component passes or fails, and why - New repo badge you can add to your GitHub ([example](https://github.com/gaganref/convex-api-keys)) or npm package that links back to your published component page. Find it on your submission list or profile - Track your component status at https://www.convex.dev/components/submissions **What you get when your component is approved** Your published component page includes: - Markdown link for docs and READMEs - Custom AI skill file for coding agents - Custom install prompt for AI-assisted setup - AEO/GEO/SEO content to help developers find your component - GitHub badge preview ***The challenge deadline for rewards has been extended through the end of March.** - Selected components will be featured in the Components directory. - Top picks also receive a $100 gift card and/or Convex swag. Thanks for building with us.

Wayne · 6d ago

Hi @everyone with everything going on today I forgot to post on discord about our EU launch! We have a region in Dublin now! You can start using it immediately, even for folks on the free plan. https://news.convex.dev/we-finally-got-our-eu-visa/ Stay tuned for more regions but also stay tuned for more infra improvements where we improve latency for teams no matter where their servers are located. Just at the tip of the iceberg re all the optimizations we have lined up.

james · 2mo ago