ghboo0927

I got almost 50gb of agent worktrees without noticing. also I couldn't delete worktrees without thinking because of something like commits that only remain in reflog. does it automatically delete worktrees safely.

CLAUDE.md: 6,108 lines, 464 KB yeah too long

That's already possible too. A single server can handle multiple sessions, and multiple devices can connect to a single session at the same time. However, since the client is limited to Anthropic's app, there is no local API for connecting your own client.

That's not surprising. Even Liquid's own documentation states that coding isn't this model's strong suit. Its strength lies in tool calling.

Claude Code already has a server mode. The difference is that it connects through Anthropic rather than via a local socket.

The cost highlighted in the article is not the compilation time, but the process of integrating the proof tool itself.

The reference to Apache 2.0 on the page refers to Google's base model, not this app. Based on the page alone, the app is free, but the source code is not open-source.

yeah and it seems like a lot of those skills are concentrated in the reviews section.

From February to 09-24 the policy was "human in the loop". Any tool was fine as long as the contributor read the code and could answer questions about it.