Skip to content

chore: release packages#41

Merged
prosdev merged 1 commit into
mainfrom
changeset-release/main
Jul 15, 2026
Merged

chore: release packages#41
prosdev merged 1 commit into
mainfrom
changeset-release/main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

This PR was opened by the Changesets release GitHub action. When you're ready to do a release, you can merge this and the packages will be published to npm automatically. If you're not ready to do a release yet, that's fine, whenever you add more changesets to main, this PR will be updated.

Releases

@prosdevlab/dev-agent@0.13.0

Minor Changes

  • a6d08da: Antfly lifecycle resilience: graceful MCP startup, dev doctor, Podman support, captured startup logs

    • MCP server no longer dies when Antfly is down. The stdio handshake completes immediately; backend init (Antfly auto-start, index load, watcher catchup) runs behind a gate. Tool calls wait for it, and a failed init returns a legible error pointing at dev doctor — with automatic retry on the next call once the backend is reachable.
    • New dev doctor command diagnoses the stack from the CLI (install, server reachability, port conflicts, embedding model, repository index) — works when the MCP server itself can't start.
    • Podman support. All container fallbacks detect Docker or Podman instead of assuming Docker.
    • Antfly startup output is captured to ~/.antfly/antfly.log (rotated at 5MB) instead of being discarded, so failed starts are diagnosable.
    • dev search, dev refs, and dev map auto-start the backend like dev index already did.
    • One shared lifecycle implementation in core replaces three divergent copies (CLI utils, MCP entry point, adapter registry) — the MCP copies were missing --data-dir and port-conflict detection.

@github-actions github-actions Bot force-pushed the changeset-release/main branch from 85f6233 to 1942e85 Compare July 15, 2026 02:24
@prosdev prosdev merged commit 6990fe9 into main Jul 15, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant