Showing the last saved plugin snapshot.
H2CO3w/dsh-scholia
“A formal proof is legible to a compiler, not to a mathematician.”
A formal proof is legible to a compiler, not to a mathematician. This DSH plugin renders a Lean 4.
tt-a1i/archify
Generate validated, self-contained interactive architecture, workflow, sequence, data-flow, and lifecycle diagrams from repositories or system descriptions.
zhu1090093659/dsh-web
Git branch selector and Git graph for the dsh web GUI: switch branches and explore branch-lane and commit history from the conversation header.
zhu1090093659/dsh-web
Remote control of a dsh web workspace from phone or PC: QR-code pairing through a token-gated channel, SSE real-time sync, and separate mobile and full desktop GUI modes.
zhu1090093659/dsh-web
SSH ops panel for DSH: web terminal, SFTP transfer with progress, local port forwarding, and one-command cluster execution across hosts; agents share the same host config.