Michael Ramos
@backnotprop
github is the fun stuff. day to day is complex critical systems, mostly involving AI.
8
Published Tools
9,690
Total Stars
2,722
Weekly Downloads
1,567
GitHub Followers
161
Public Repos
100/100
Avg Security
Published Tools
1 MCP Server5 Skills2 Agentsacross 3 categoriesGitHub Actions
Plannotator plugin for OpenCode - interactive plan review with visual annotation
backnotprop
A no-runtime dependency lib for text highlighting & persistence on any website. Fork with selection fixes.
GitHub Actions
Plannotator Pi extension - interactive plan review with annotations, annotate agent messages, and review code/PRs
backnotprop
Importable Xterm terminal sessions for coding agents with a local node-pty backend.
backnotprop
Plannotator's document UI — markdown rendering, themes, the annotation editor, settings, comments, and layout — as installable building blocks. Published so a separate app (the commercial Workspaces app) can reuse the exact same experience, while Plannota
...morebacknotprop
Claude Code channel bridge for Artifact Server: pushes annotation bundles into an opted-in Claude Code session and closes them through the comment API.
...morebacknotprop
The host-free core of the BYOA connector: pairing, credentials, the session doors, the turn scheduler and the proxied tools. No Node, no host: every effect goes through a port.
...morebacknotprop
CodeMirror 6 markdown editor with Obsidian-style inline live preview. Plannotator fork of atomic-editor (adds YAML frontmatter parsing).
...more