Skip to content

Instantly share code, notes, and snippets.

@factory-ben
factory-ben / SKILL.md
Last active November 27, 2025 09:17
osgrep skill for Factory
name description
osgrep
Run lightweight semantic grep over the current repository using the osgrep CLI (natural-language search, JSON output, hot daemon).

Note: path should be ~/.factory/skills/osgrep/SKILL.md

Install osgrep

Install / Warm Up

@arianvp
arianvp / SSH_MACOS_SECURE_ENCLAVES.md
Last active December 6, 2025 16:17
Native Secure Enclaved backed ssh keys on MacOS

Native Secure Enclave backed ssh keys on MacOS

It turns out that MacOS Tahoe can generate and use secure-enclave backed SSH keys! This replaces projects like https://github.com/maxgoedjen/secretive

There is a shared library /usr/lib/ssh-keychain.dylib that traditionally has been used to add smartcard support to ssh by implementing PKCS11Provider interface. However since recently it also implements SecurityKeyProivder which supports loading keys directly from the secure enclave! SecurityKeyProvider is what is normally used to talk to FIDO2 devices (e.g. libfido2 can be used to talk to your Yubikey). However you can now use it to talk to your Secure Enclave instead!

@rebane2001
rebane2001 / twitter-card-mod.js
Last active November 14, 2025 02:10
Twitter Card Mod (paste into console) // Note: Moved to https://github.com/rebane2001/TweetsAgainstHumanity/ (get the extension/userscript there)
twitterCardCount = 5;
function getNextTweets(count) {
const nextTweets = [...document.querySelectorAll("[data-testid='cellInnerDiv']:not(:has(>.HiddenTweet)) [data-testid='tweet']:not([data-twc-used])")].slice(0, count);
nextTweets.forEach(e => e.dataset.twcUsed = true);
return nextTweets;
}
function setStyle(styleText) {
let styleEl = document.querySelector(".twc-style");
@steipete
steipete / agent.md
Created October 14, 2025 14:41
Agent rules for git
  • Delete unused or obsolete files when your changes make them irrelevant (refactors, feature removals, etc.), and revert files only when the change is yours or explicitly requested. If a git operation leaves you unsure about other agents' in-flight work, stop and coordinate instead of deleting.
  • Before attempting to delete a file to resolve a local type/lint failure, stop and ask the user. Other agents are often editing adjacent files; deleting their work to silence an error is never acceptable without explicit approval.
  • NEVER edit .env or any environment variable files—only the user may change them.
  • Coordinate with other agents before removing their in-progress edits—don't revert or delete work you didn't author unless everyone agrees.
  • Moving/renaming and restoring files is allowed.
  • ABSOLUTELY NEVER run destructive git operations (e.g., git reset --hard, rm, git checkout/git restore to an older commit) unless the user gives an explicit, written instruction in this conversation. Treat t
@faabian
faabian / prover_verifier.py
Created October 14, 2025 12:16
Replication of "Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline"
"""
Quick and dirty replication of
"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline" (https://arxiv.org/abs/2507.15855)
using LangGraph.
Export GOOGLE_API_KEY to run.
Change the model, question and constants directly in the code (no CLI).
"""
import asyncio
@dctmfoo
dctmfoo / AGENTS.md
Last active October 21, 2025 17:16
TDD workflow for you, droid and droid exec - Updated for clarity and placeholders for repo specific instructions!

AGENTS.md - Essential Briefing for AI Agents

For human contributors: See README.md for getting started guide.


🤖 THE 3-ENTITY WORKFLOW (CORE CONCEPT)

This project uses a 3-entity collaboration pattern between Human, Droid Assistant, and Droid Exec.

@chandika
chandika / FACTORY_PROXY_CC.md
Last active December 7, 2025 05:23 — forked from ben-vargas/FACTORY_CLIProxyAPI_Claude_ChatGPT.md
Factory CLI with Claude Subscription / ChatGPT Codex via CLIProxyAPI

Executive Summary

This guide documents how to use Factory's Droid CLI with your Claude Code Max subscription (OAuth authentication) instead of pay-per-token API keys. The solution leverages CLIProxyAPI as a transparent authentication proxy that converts API key requests from Factory CLI into OAuth-authenticated requests for Anthropic's API.

Architecture Overview

Factory CLI → [Anthropic Format + API Key] → CLIProxyAPI → [Anthropic Format + OAuth] → Anthropic API
                                                  ↓
 (Auth Header Swap)
@i2cjak
i2cjak / nextpcb_search.py
Created September 12, 2025 16:57
Search NextPCB's part catalog from the command line
import requests
import json
import argparse
from rich.console import Console
from rich.table import Table
from rich.live import Live
from rich.spinner import Spinner
def search_for_part(description, show_all, no_sort):
"""

You are GPT-5 Thinking acting as a senior prompt engineer named Amp Instructor. Convert a developer’s rough input (files + goal) into a single, paste-ready first message for Amp.

[System role]

  • You are Amp Instructor, expert at authoring precise first messages for the Amp coding agent.

[Objective]

  • Produce an Amp-ready first message that: (1) tells Amp to make a plan before editing, and (2) tells Amp to validate every change via feedback loops (tests/builds/linters/dev server/URLs/logs) until acceptance criteria (ACs) are met.
@rebane2001
rebane2001 / glass-with-controls.html
Last active October 31, 2025 17:19
glass effect test css/svg thing (messy) - demo: https://codepen.io/rebane2001/details/OPVQXMv
<div style="position:absolute;top:-999px;left:-999px">
<svg
id="effectSvg"
width="200"
height="200"
viewBox="0 0 200 200"
xmlns="http://www.w3.org/2000/svg">
<filter id="displacementFilter4">