@pencil-agent/nano-pencil 2.0.1 → 2.0.3

package/dist/extensions/builtin/browser/agent-workspace/domain-skills/github/repo-actions.md

@@ -1,65 +1,65 @@
-# GitHub — Repo actions (star, unstar, watch)
-
-`https://github.com/{owner}/{repo}` — user-triggered actions on the repo header (Star, Unstar, Watch, Unwatch) are HTML forms that POST back to GitHub with the session's CSRF token already rendered inline. **Submit the form — do not click the button.**
-
-## Do this first
-
-```python
-# Precondition: user is logged in
-if not js('!!document.querySelector("meta[name=user-login]")'):
-    raise RuntimeError("not logged in to GitHub")
-
-# Star the current repo
-js("""
-(()=>{
-  const f = document.querySelector('form[action$="/star"]');
-  if (!f) return 'already-starred-or-missing';
-  f.submit();
-  return 'submitted';
-})()
-""")
-wait(2)
-wait_for_load()
-
-# Verify — the toggle swaps which form is present
-starred = js('!!document.querySelector(\'form[action$="/unstar"]\')')
-```
-
-Same pattern for the reverse (`form[action$="/unstar"]`) and for watch/unwatch (`form[action$="/subscription"]` + a hidden `_method` field, see below).
-
-## Why not click the button
-
-The visible Star button looks like `button[aria-label^="Star "]`, but that selector has two gotchas on the modern repo header:
-
-- **There are two matching buttons.** The first one `querySelector` returns is a hidden fallback inside the sticky sub-header form with `getBoundingClientRect() == {x:0, y:0, w:0, h:0}`. Coordinate-clicking it does nothing because it has no geometry.
-- **Synthetic `.click()` on the visible React button does not persist the star.** The click fires, `aria-label` stays `Star ...`, network tab shows no POST. GitHub's component swallows the synthetic event somewhere in its React fiber handler.
-
-`form.submit()` sidesteps both problems — it bypasses React entirely and goes straight to the HTML form's POST. The authenticity token is already in a hidden input inside the form, so there's nothing extra to fetch.
-
-## Watch / Unwatch
-
-The subscription form uses a shared endpoint with a `_method` override:
-
-```python
-# Watch (all activity)
-js("""
-(()=>{
-  const f = document.querySelector('form[action$="/subscription"]');
-  if (!f) return 'missing';
-  f.submit();
-  return 'submitted';
-})()
-""")
-```
-
-GitHub renders different form attributes (different `_method` hidden input values) depending on the current state. Re-read the form after every toggle rather than caching a reference.
-
-## Gotchas
-
-- **Star count in the rendered button lags the true count by a hydration tick.** The durable signal that "this worked" is which form is on the page after reload: `form[action$="/star"]` present means unstarred, `form[action$="/unstar"]` means starred. The visible aria-label is reliable once you scroll to the top and wait ~1s after submit; the count inside the button updates on soft navigation and is not a good assertion target.
-
-- **`form.submit()` bypasses the form's `submit` event listeners** — fine for GitHub's case (the handler is a full navigation), but if a future change wires in `e.preventDefault()` to do an XHR, `form.requestSubmit()` is the safer alternative. Worth trying first if `form.submit()` stops working.
-
-- **If the user is not logged in the forms are not rendered at all.** `meta[name="user-login"]` is the cheapest pre-check.
-
-- **For read-only star counts, don't touch the DOM — use the API.** `http_get("https://api.github.com/repos/{owner}/{repo}")` returns `stargazers_count` without any browser interaction. See `scraping.md`. Only use the form-submit pattern when you actually need to *change* state on behalf of the logged-in user.
+# GitHub — Repo actions (star, unstar, watch)
+
+`https://github.com/{owner}/{repo}` — user-triggered actions on the repo header (Star, Unstar, Watch, Unwatch) are HTML forms that POST back to GitHub with the session's CSRF token already rendered inline. **Submit the form — do not click the button.**
+
+## Do this first
+
+```python
+# Precondition: user is logged in
+if not js('!!document.querySelector("meta[name=user-login]")'):
+    raise RuntimeError("not logged in to GitHub")
+
+# Star the current repo
+js("""
+(()=>{
+  const f = document.querySelector('form[action$="/star"]');
+  if (!f) return 'already-starred-or-missing';
+  f.submit();
+  return 'submitted';
+})()
+""")
+wait(2)
+wait_for_load()
+
+# Verify — the toggle swaps which form is present
+starred = js('!!document.querySelector(\'form[action$="/unstar"]\')')
+```
+
+Same pattern for the reverse (`form[action$="/unstar"]`) and for watch/unwatch (`form[action$="/subscription"]` + a hidden `_method` field, see below).
+
+## Why not click the button
+
+The visible Star button looks like `button[aria-label^="Star "]`, but that selector has two gotchas on the modern repo header:
+
+- **There are two matching buttons.** The first one `querySelector` returns is a hidden fallback inside the sticky sub-header form with `getBoundingClientRect() == {x:0, y:0, w:0, h:0}`. Coordinate-clicking it does nothing because it has no geometry.
+- **Synthetic `.click()` on the visible React button does not persist the star.** The click fires, `aria-label` stays `Star ...`, network tab shows no POST. GitHub's component swallows the synthetic event somewhere in its React fiber handler.
+
+`form.submit()` sidesteps both problems — it bypasses React entirely and goes straight to the HTML form's POST. The authenticity token is already in a hidden input inside the form, so there's nothing extra to fetch.
+
+## Watch / Unwatch
+
+The subscription form uses a shared endpoint with a `_method` override:
+
+```python
+# Watch (all activity)
+js("""
+(()=>{
+  const f = document.querySelector('form[action$="/subscription"]');
+  if (!f) return 'missing';
+  f.submit();
+  return 'submitted';
+})()
+""")
+```
+
+GitHub renders different form attributes (different `_method` hidden input values) depending on the current state. Re-read the form after every toggle rather than caching a reference.
+
+## Gotchas
+
+- **Star count in the rendered button lags the true count by a hydration tick.** The durable signal that "this worked" is which form is on the page after reload: `form[action$="/star"]` present means unstarred, `form[action$="/unstar"]` means starred. The visible aria-label is reliable once you scroll to the top and wait ~1s after submit; the count inside the button updates on soft navigation and is not a good assertion target.
+
+- **`form.submit()` bypasses the form's `submit` event listeners** — fine for GitHub's case (the handler is a full navigation), but if a future change wires in `e.preventDefault()` to do an XHR, `form.requestSubmit()` is the safer alternative. Worth trying first if `form.submit()` stops working.
+
+- **If the user is not logged in the forms are not rendered at all.** `meta[name="user-login"]` is the cheapest pre-check.
+
+- **For read-only star counts, don't touch the DOM — use the API.** `http_get("https://api.github.com/repos/{owner}/{repo}")` returns `stargazers_count` without any browser interaction. See `scraping.md`. Only use the form-submit pattern when you actually need to *change* state on behalf of the logged-in user.

package/dist/extensions/builtin/browser/agent-workspace/domain-skills/github/scraping.md

@@ -1,184 +1,184 @@
-# GitHub — Scraping & Data Extraction
-
-`https://github.com` — public data, mix of REST API (fast, rate-limited) and browser (trending page only).
-
-## Do this first
-
-**Use the REST API for repo/user/release data — it's one call, no browser, fully parsed JSON.**
-
-```python
-import json
-data = json.loads(http_get("https://api.github.com/repos/{owner}/{repo}"))
-# Key fields: stargazers_count, forks_count, description, language, topics,
-#             open_issues_count, created_at, updated_at, pushed_at,
-#             watchers_count, subscribers_count, network_count,
-#             default_branch, license, homepage, visibility
-```
-
-Use `raw.githubusercontent.com` for file contents — no rate limit, no auth, no base64 decode:
-
-```python
-readme = http_get("https://raw.githubusercontent.com/owner/repo/main/README.md")
-content = http_get("https://raw.githubusercontent.com/owner/repo/main/pyproject.toml")
-```
-
-Use the browser **only** for the trending page — it's server-side rendered HTML, no API equivalent.
-
-## Common workflows
-
-### Repo metadata (API)
-
-```python
-import json
-data = json.loads(http_get("https://api.github.com/repos/browser-use/browser-use"))
-print(data['stargazers_count'], data['forks_count'], data['description'])
-# returns: 88349  10136  '🌐 Make websites accessible for AI agents.'
-```
-
-### User / org profile (API)
-
-```python
-import json
-user = json.loads(http_get("https://api.github.com/users/browser-use"))
-print(user['type'], user['followers'], user['public_repos'], user['blog'])
-# returns: 'Organization'  3046  39  'https://browser-use.com'
-```
-
-### Trending page (browser required)
-
-The trending page is JS-rendered. `article.Box-row` selector confirmed working (15 results for today/all-languages, 12 for filtered). All fields work in a single JS call — **must navigate and wait in the same script run**, as each run is a separate exec context.
-
-```python
-import json
-goto_url("https://github.com/trending")          # or /trending/python?since=weekly
-wait_for_load()
-wait(2)                                       # extra 2s — React hydration completes after readyState
-
-result = js("""
-(function(){
-  var rows = Array.from(document.querySelectorAll('article.Box-row'));
-  return JSON.stringify(rows.map(function(el){
-    var h2link = el.querySelector('h2 a');
-    var starLink = el.querySelector('a[href*="/stargazers"]');
-    var forkLink = el.querySelector('a[href*="/forks"]');
-    var langEl = el.querySelector('[itemprop="programmingLanguage"]');
-    var todayEl = el.querySelector('.d-inline-block.float-sm-right');
-    var descEl = el.querySelector('p');
-    return {
-      name: h2link ? h2link.innerText.trim().replace(/\\s+/g,' ') : null,
-      url: h2link ? 'https://github.com' + h2link.getAttribute('href') : null,
-      stars_total: starLink ? starLink.innerText.trim() : null,
-      stars_period: todayEl ? todayEl.innerText.trim() : null,
-      forks: forkLink ? forkLink.innerText.trim() : null,
-      language: langEl ? langEl.innerText.trim() : null,
-      desc: descEl ? descEl.innerText.trim() : null
-    };
-  }));
-})()
-""")
-repos = json.loads(result)
-# stars_period text is e.g. "737 stars today" or "47,053 stars this week"
-```
-
-Supported URL params:
-- `/trending` — all languages, today
-- `/trending/python` — filtered to Python
-- `/trending?since=weekly` or `?since=monthly`
-- `/trending/python?since=weekly` — combined
-
-### Search repositories (API)
-
-```python
-import json
-results = json.loads(http_get(
-    "https://api.github.com/search/repositories?q=browser+automation+language:python&sort=stars&per_page=10"
-))
-print(results['total_count'])   # e.g. 3250
-for r in results['items']:
-    print(r['full_name'], r['stargazers_count'])
-```
-
-Search API rate limit is **10 req/min** unauthenticated (separate from the 60/hour core limit). Runs out fast if called in a loop.
-
-### Commits, releases, issues (API)
-
-```python
-import json
-# Commits
-commits = json.loads(http_get("https://api.github.com/repos/owner/repo/commits?per_page=10"))
-# Fields: sha, commit.message, commit.author.date, author.login
-
-# Releases
-releases = json.loads(http_get("https://api.github.com/repos/owner/repo/releases?per_page=5"))
-# Fields: tag_name, name, published_at, body, assets
-
-# Issues
-issues = json.loads(http_get("https://api.github.com/repos/owner/repo/issues?state=open&per_page=10"))
-# Fields: number, title, labels, state, created_at, user.login
-
-# Contributors
-contribs = json.loads(http_get("https://api.github.com/repos/owner/repo/contributors?per_page=10"))
-# Fields: login, contributions
-```
-
-### File contents via API (base64)
-
-```python
-import json, base64
-resp = json.loads(http_get("https://api.github.com/repos/owner/repo/contents/path/to/file.py"))
-content = base64.b64decode(resp['content']).decode()
-# resp also has: size, sha, html_url
-# Prefer raw.githubusercontent.com for large files — no base64, no rate limit hit
-```
-
-### Parallel fetching (multiple repos)
-
-```python
-import json
-from concurrent.futures import ThreadPoolExecutor
-
-def fetch_repo(name):
-    data = json.loads(http_get(f"https://api.github.com/repos/{name}"))
-    return {"name": name, "stars": data['stargazers_count'], "lang": data['language']}
-
-repos = ["owner/repo1", "owner/repo2", "owner/repo3"]
-with ThreadPoolExecutor(max_workers=3) as ex:
-    results = list(ex.map(fetch_repo, repos))
-# Confirmed working; watch rate limit — 60 unauthenticated calls/hour total
-```
-
-## Gotchas
-
-- **Rate limits are per IP, unauthenticated** — Core API: 60 req/hour. Search API: 10 req/min. These are separate pools. Check `/rate_limit` endpoint: `http_get("https://api.github.com/rate_limit")`. With a `GITHUB_TOKEN`, both limits increase to 5,000/hour.
-
-- **Token header format** — Use `Authorization: Bearer <token>` (not `token <token>`), plus `X-GitHub-Api-Version: 2022-11-28`:
-  ```python
-  import os
-  token = os.environ.get('GITHUB_TOKEN', '')
-  headers = {"Authorization": f"Bearer {token}", "X-GitHub-Api-Version": "2022-11-28"} if token else {}
-  data = json.loads(http_get("https://api.github.com/repos/owner/repo", headers=headers))
-  ```
-
-- **404 raises HTTPError, not a JSON error** — Wrap API calls for missing repos:
-  ```python
-  try:
-      data = json.loads(http_get("https://api.github.com/repos/owner/repo"))
-  except Exception as e:
-      print("Not found or rate limited:", e)
-  ```
-
-- **Code search requires auth** — `GET /search/code` returns HTTP 401 without a token. Repo/user/issues search works unauthenticated.
-
-- **Trending page selectors only work if navigation is in the same script run** — Each `uv run browser-harness` exec is fresh. Selectors that returned 0 results were run in a separate invocation after the page had navigated away. Always include `goto_url()` + `wait_for_load()` + `wait(2)` in the same script.
-
-- **wait(2) after wait_for_load() on trending** — `document.readyState == 'complete'` fires before React finishes painting repo cards. Without the extra 2s sleep, `article.Box-row` count was 0 even though the DOM technically loaded.
-
-- **Trending stars field is a string with commas** — `stars_total` comes back as `"4,548"` not `4548`. Parse with `int(r['stars_total'].replace(',', ''))` if you need to sort.
-
-- **stars_period text includes the period** — Value is `"737 stars today"` or `"47,053 stars this week"` — strip the trailing word if you want just the number.
-
-- **Repo page DOM is React-heavy, API is better** — Extracting star counts from the repo HTML page (`github.com/owner/repo`) is unreliable because GitHub uses React with server-side hydration and component IDs change. The REST API returns all the same data cleanly.
-
-- **raw.githubusercontent.com has no rate limit and no auth** — Use it for any public file. It serves the raw bytes, no JSON wrapping or base64.
-
-- **Trending page article count varies** — Today filter returned 15 articles, weekly Python filter returned 12. Don't assume 25 results; iterate `document.querySelectorAll('article.Box-row')` and take what's there.
+# GitHub — Scraping & Data Extraction
+
+`https://github.com` — public data, mix of REST API (fast, rate-limited) and browser (trending page only).
+
+## Do this first
+
+**Use the REST API for repo/user/release data — it's one call, no browser, fully parsed JSON.**
+
+```python
+import json
+data = json.loads(http_get("https://api.github.com/repos/{owner}/{repo}"))
+# Key fields: stargazers_count, forks_count, description, language, topics,
+#             open_issues_count, created_at, updated_at, pushed_at,
+#             watchers_count, subscribers_count, network_count,
+#             default_branch, license, homepage, visibility
+```
+
+Use `raw.githubusercontent.com` for file contents — no rate limit, no auth, no base64 decode:
+
+```python
+readme = http_get("https://raw.githubusercontent.com/owner/repo/main/README.md")
+content = http_get("https://raw.githubusercontent.com/owner/repo/main/pyproject.toml")
+```
+
+Use the browser **only** for the trending page — it's server-side rendered HTML, no API equivalent.
+
+## Common workflows
+
+### Repo metadata (API)
+
+```python
+import json
+data = json.loads(http_get("https://api.github.com/repos/browser-use/browser-use"))
+print(data['stargazers_count'], data['forks_count'], data['description'])
+# returns: 88349  10136  '🌐 Make websites accessible for AI agents.'
+```
+
+### User / org profile (API)
+
+```python
+import json
+user = json.loads(http_get("https://api.github.com/users/browser-use"))
+print(user['type'], user['followers'], user['public_repos'], user['blog'])
+# returns: 'Organization'  3046  39  'https://browser-use.com'
+```
+
+### Trending page (browser required)
+
+The trending page is JS-rendered. `article.Box-row` selector confirmed working (15 results for today/all-languages, 12 for filtered). All fields work in a single JS call — **must navigate and wait in the same script run**, as each run is a separate exec context.
+
+```python
+import json
+goto_url("https://github.com/trending")          # or /trending/python?since=weekly
+wait_for_load()
+wait(2)                                       # extra 2s — React hydration completes after readyState
+
+result = js("""
+(function(){
+  var rows = Array.from(document.querySelectorAll('article.Box-row'));
+  return JSON.stringify(rows.map(function(el){
+    var h2link = el.querySelector('h2 a');
+    var starLink = el.querySelector('a[href*="/stargazers"]');
+    var forkLink = el.querySelector('a[href*="/forks"]');
+    var langEl = el.querySelector('[itemprop="programmingLanguage"]');
+    var todayEl = el.querySelector('.d-inline-block.float-sm-right');
+    var descEl = el.querySelector('p');
+    return {
+      name: h2link ? h2link.innerText.trim().replace(/\\s+/g,' ') : null,
+      url: h2link ? 'https://github.com' + h2link.getAttribute('href') : null,
+      stars_total: starLink ? starLink.innerText.trim() : null,
+      stars_period: todayEl ? todayEl.innerText.trim() : null,
+      forks: forkLink ? forkLink.innerText.trim() : null,
+      language: langEl ? langEl.innerText.trim() : null,
+      desc: descEl ? descEl.innerText.trim() : null
+    };
+  }));
+})()
+""")
+repos = json.loads(result)
+# stars_period text is e.g. "737 stars today" or "47,053 stars this week"
+```
+
+Supported URL params:
+- `/trending` — all languages, today
+- `/trending/python` — filtered to Python
+- `/trending?since=weekly` or `?since=monthly`
+- `/trending/python?since=weekly` — combined
+
+### Search repositories (API)
+
+```python
+import json
+results = json.loads(http_get(
+    "https://api.github.com/search/repositories?q=browser+automation+language:python&sort=stars&per_page=10"
+))
+print(results['total_count'])   # e.g. 3250
+for r in results['items']:
+    print(r['full_name'], r['stargazers_count'])
+```
+
+Search API rate limit is **10 req/min** unauthenticated (separate from the 60/hour core limit). Runs out fast if called in a loop.
+
+### Commits, releases, issues (API)
+
+```python
+import json
+# Commits
+commits = json.loads(http_get("https://api.github.com/repos/owner/repo/commits?per_page=10"))
+# Fields: sha, commit.message, commit.author.date, author.login
+
+# Releases
+releases = json.loads(http_get("https://api.github.com/repos/owner/repo/releases?per_page=5"))
+# Fields: tag_name, name, published_at, body, assets
+
+# Issues
+issues = json.loads(http_get("https://api.github.com/repos/owner/repo/issues?state=open&per_page=10"))
+# Fields: number, title, labels, state, created_at, user.login
+
+# Contributors
+contribs = json.loads(http_get("https://api.github.com/repos/owner/repo/contributors?per_page=10"))
+# Fields: login, contributions
+```
+
+### File contents via API (base64)
+
+```python
+import json, base64
+resp = json.loads(http_get("https://api.github.com/repos/owner/repo/contents/path/to/file.py"))
+content = base64.b64decode(resp['content']).decode()
+# resp also has: size, sha, html_url
+# Prefer raw.githubusercontent.com for large files — no base64, no rate limit hit
+```
+
+### Parallel fetching (multiple repos)
+
+```python
+import json
+from concurrent.futures import ThreadPoolExecutor
+
+def fetch_repo(name):
+    data = json.loads(http_get(f"https://api.github.com/repos/{name}"))
+    return {"name": name, "stars": data['stargazers_count'], "lang": data['language']}
+
+repos = ["owner/repo1", "owner/repo2", "owner/repo3"]
+with ThreadPoolExecutor(max_workers=3) as ex:
+    results = list(ex.map(fetch_repo, repos))
+# Confirmed working; watch rate limit — 60 unauthenticated calls/hour total
+```
+
+## Gotchas
+
+- **Rate limits are per IP, unauthenticated** — Core API: 60 req/hour. Search API: 10 req/min. These are separate pools. Check `/rate_limit` endpoint: `http_get("https://api.github.com/rate_limit")`. With a `GITHUB_TOKEN`, both limits increase to 5,000/hour.
+
+- **Token header format** — Use `Authorization: Bearer <token>` (not `token <token>`), plus `X-GitHub-Api-Version: 2022-11-28`:
+  ```python
+  import os
+  token = os.environ.get('GITHUB_TOKEN', '')
+  headers = {"Authorization": f"Bearer {token}", "X-GitHub-Api-Version": "2022-11-28"} if token else {}
+  data = json.loads(http_get("https://api.github.com/repos/owner/repo", headers=headers))
+  ```
+
+- **404 raises HTTPError, not a JSON error** — Wrap API calls for missing repos:
+  ```python
+  try:
+      data = json.loads(http_get("https://api.github.com/repos/owner/repo"))
+  except Exception as e:
+      print("Not found or rate limited:", e)
+  ```
+
+- **Code search requires auth** — `GET /search/code` returns HTTP 401 without a token. Repo/user/issues search works unauthenticated.
+
+- **Trending page selectors only work if navigation is in the same script run** — Each `uv run browser-harness` exec is fresh. Selectors that returned 0 results were run in a separate invocation after the page had navigated away. Always include `goto_url()` + `wait_for_load()` + `wait(2)` in the same script.
+
+- **wait(2) after wait_for_load() on trending** — `document.readyState == 'complete'` fires before React finishes painting repo cards. Without the extra 2s sleep, `article.Box-row` count was 0 even though the DOM technically loaded.
+
+- **Trending stars field is a string with commas** — `stars_total` comes back as `"4,548"` not `4548`. Parse with `int(r['stars_total'].replace(',', ''))` if you need to sort.
+
+- **stars_period text includes the period** — Value is `"737 stars today"` or `"47,053 stars this week"` — strip the trailing word if you want just the number.
+
+- **Repo page DOM is React-heavy, API is better** — Extracting star counts from the repo HTML page (`github.com/owner/repo`) is unreliable because GitHub uses React with server-side hydration and component IDs change. The REST API returns all the same data cleanly.
+
+- **raw.githubusercontent.com has no rate limit and no auth** — Use it for any public file. It serves the raw bytes, no JSON wrapping or base64.
+
+- **Trending page article count varies** — Today filter returned 15 articles, weekly Python filter returned 12. Don't assume 25 results; iterate `document.querySelectorAll('article.Box-row')` and take what's there.