Exported functions in state/lib/infra.ts. .md file to compare - side-by-side diff against infra
infra
description: "Triggers on prompt mention of 'infra'."
What it does for you
The shared foundation your other skills rely on to run.
What it produces
A recent result, so you can see the kind of work it returns.
loading…
How to get it
These run inside the Snappy workspace. Want this working in your business? I set skills like this up with you, in one focused week.
For developers how this skill is built, graded, and how it runs
at a glance- the short version
what's inside - the parts that make up a skill 3/4 present
A skill is just a few plain-text files. Only the main one is required. The rest are optional, added as the work needs them. This is what the skill is made of; how it runs is just below.
state/skills/infra/SKILL.md
present
state/lib/infra.ts
present
state/bin/infra/
not present
state/skills/infra/AGENTS.md
present
how it's graded - what counts as a good run 4 criteria · 1 deterministic · 3 judge
Each row is one thing a good run has to get right. deterministic means a quick check decides, pass or fail. judge means the AI reads the result and rates it. Grading each piece on its own (instead of one overall score) shows exactly where a run fell short, so the fix is obvious.
how it runs - the shared frame every skill uses 5/5 present
Every skill runs the same way. One part does the work, a separate part checks it, and a short loader hands the AI exactly what it needs for the job. Anything this skill doesn't use shows a one-line note saying why, on purpose, not by accident.
state/log/pending-eval.ndjson what it has learned - fixes written back in over time sample
When a run hits something this skill didn't handle, the fix gets written back into the skill so it doesn't happen again. FIXED means it was corrected on the spot. LOGGED means it's queued for a bigger rewrite. Either way, the skill gets a little better and never makes the same mistake twice.
- Loading feedback rows…
how the work flows- who makes it, who checks it
import from `state/lib/infra.ts` — `sshMacMini()`, `checkXano()`, `checkVercel()
SKILL.md- the skill, written out in plain English
infra
Infrastructure foundation for all snappy-* skills.
Ported from kernel snappy-infra in Phase 0.5. See state/lib/infra.ts for the full API surface.
Steps
sshMacMini()- seestate/lib/infra.tscheckXano()- seestate/lib/infra.tscheckVercel()- seestate/lib/infra.ts
Eval
Actor: the exported functions in state/lib/infra.ts. Auditor: none wired yet - eval is manual (Robert review). File a state/log/pending-eval.ndjson row on each run.
Score convention:
| Outcome | Score |
|---|---|
| Pass on first try | 1.0 |
| Failed first, auto-fix applied, re-check passed | 0.5 |
| Still failing or unrecoverable | 0.0 |
Gotchas
via the Phase 0.5 driver. Only these rewrites were applied: already in state/lib/)
realpathSync(process.argv[1])CLI guard wrapped in try/catch
- See the kernel SKILL.md for the original long-form guidance if you need it
(read-only reference at the kernel path above).
Graduation
This skill is prose. Graduate by defining a deterministic auditor and flipping eval: auto.
Rubric
criteria:
- name: ssh_mac_mini_functionality
kind: judge
check: "The `sshMacMini()` function successfully establishes an SSH connection to the Mac Mini as indicated in `state/lib/infra.ts`."
- name: check_xano_status
kind: judge
check: "The `checkXano()` function correctly verifies the status or connectivity of the Xano service as defined in `state/lib/infra.ts`."
- name: check_vercel_status
kind: judge
check: "The `checkVercel()` function accurately assesses the status or deployment of the Vercel service as implemented in `state/lib/infra.ts`."
- name: eval_log_entry_created
kind: deterministic
check: "A new row is appended to `state/log/pending-eval.ndjson` for each execution of the skill."AGENTS.md- what the AI loads when this skill comes up
infra - loader
Per-turn rules for the infra skill. Full reference: state/skills/infra/SKILL.md. Do not skip these.
Critical Rules
_(no failures recorded yet - this skill is a Phase 0.5 mechanical port from snappy-infra with no hard-won rules. Read state/skills/infra/SKILL.md and state/lib/infra.ts before invoking. Eval is manual until an auditor is wired.)_
Commands
| ui dashboard | state/skills/infra/resources/ui.openui | |invoke: import from state/lib/infra.ts - sshMacMini(), checkXano(), checkVercel() |eval log: state/log/pending-eval.ndjson (manual review until shape gate added)
OpenUI Resource
- Skill-owned OpenUI Lang resource:
state/skills/infra/resources/ui.openui. Read it before rendering or editing this skill's generated component surface. - Treat this resource as a first-class artifact of the skill, not a generic chat response. Improve it when the skill's user-facing output needs to become richer.
- System resources compose OpenUI primitives and inherit SnappyChat tokens. Use
ui_contract: brandedin SKILL.md only for deliberate platform or client visuals.
Known Pitfalls
- Skill frontmatter says
eval: shapebut no auditor exists - must log topending-eval.ndjson sshMacMini()may keep stale connections; verify the Mac Mini is reachable before claiming pass
Self-Test
An agent reading this should correctly:
- [ ] Use
env("KEY")rather than bash credential fallback when the lib needs tokens? - [ ] Find the API surface in
state/lib/infra.ts? - [ ] Log run to
state/log/pending-eval.ndjsonnotevals.ndjson?
Self-report
If this loader fell short, append a line:
echo "[$(date -u +%FT%TZ)] infra: <what was missing>" >> state/log/loader-feedback.log
<!-- kernel-ok: historical attribution for the PID-loader pattern. -->
Self-correcting loader (PID feedback)
This is the rule that makes loaders learn. Ported from snappy-kernel, where it demonstrably worked: the snappy-dom-cartographer skill mapped Skool admin UI once, every later ship-agent inherited the full map for free.
Before you finish, do two things:
1. Fix gaps (P - proportional). MANDATORY. If this loader didn't cover your case - if you had to read another file, run an undocumented command, work around a wrong selector, or discover a quirk - you MUST attempt an Edit to this AGENTS.md before you log.
- Default action: edit this file. Surgical. Add the missing line, table
row, or code example where it belongs. No restructuring.
- Only
LOGGEDis allowed when: the fix needs >10 lines, spans multiple
files, or requires a structural rewrite. In that case the state/regen/drain.sh queue picks it up asynchronously.
- "I didn't have time" / "it's minor" / "the next agent will figure it out"
are NOT valid reasons. Minor gaps compound - that's the whole point of this loop.
- Concrete example of a valid P-fix: discover
agent-browser screenshot
takes path positionally not as --output <path>. One line in a table. Edit it in. Do not just log it.
- The goal: the next agent never has to leave the loader.
2. Log the result.
echo "[$(date -u +%FT%TZ)] infra: <what was missing or fixed> [FIXED|LOGGED]" >> state/log/loader-feedback.log
FIXED= you patched this loader inline (P-fix).LOGGED= too large for inline; the PostToolUse enqueue + Stop-hook drain
will rewrite the loader from scratch on next session-end.
Do not skip this. Every agent run must leave the system better than it found it. The loader is the setpoint; you are the sensor; the gap is the error signal; closing the gap is the correction.
api.ts- the code it can call
#!/usr/bin/env npx tsx
/**
* snappy-infra/api.ts -- Infrastructure foundation for all snappy-* skills.
*
* SSH to Mac Mini, Xano health check, Vercel deployment status.
*
* Boundary: infra = health probes (Xano, Vercel) + SSH to Mac Mini.
* snappy-deploy = trigger deployments (Vercel API, Fly CLI).
* snappy-box = the Box self-editing server API on Mac Mini.
*
* Usage:
* npx tsx api.ts ssh "uptime"
* npx tsx api.ts xano
* npx tsx api.ts vercel total-crm
*
* Or import as module:
* import { sshMacMini, checkXano, checkVercel } from "./infra.ts";
*/
import { execSync } from "child_process";
import { env } from "./env.ts";
import { realpathSync } from "fs";
const MAC_MINI = "robertboulos@10.0.0.199";
/** Execute a command on the Mac Mini via SSH. */
export function sshMacMini(command: string): string {
const escaped = command.replace(/'/g, "'\\''");
return execSync(`ssh ${MAC_MINI} '${escaped}'`, {
encoding: "utf-8",
timeout: 30_000,
}).trim();
}
/**
* Check Xano instance health via /me auth endpoint.
*
* KERNEL A4 EXCEPTION (non-DB skill hitting Xano):
* snappy-infra is an infrastructure health skill. Xano is one of the pieces of
* infrastructure it monitors — this call is a health probe, not a data read or
* a proxied write. Same class as `checkVercel`, `checkAllProjects` in
* snappy-maintenance. Not a violation.
*/
export async function checkXano(): Promise<{ ok: boolean; user?: string; error?: string }> {
const base = env("XANO", false) || "https://xnwv-v1z6-dvnr.n7c.xano.io";
const token = env("XANO_METADATA_TOKEN");
try {
const res = await fetch(`${base}/api:e6emygx3/me`, {
headers: { Authorization: `Bearer ${token}` },
});
const data = await res.json();
return { ok: res.ok, user: data?.name || data?.email };
} catch (e: any) {
return { ok: false, error: e.message };
}
}
/** Check Vercel deployment status for a project. */
export async function checkVercel(project: string): Promise<{ ok: boolean; state?: string; url?: string; error?: string }> {
const token = env("VERCEL_TOKEN");
try {
const res = await fetch(
`https://api.vercel.com/v6/deployments?projectId=${encodeURIComponent(project)}&limit=1`,
{ headers: { Authorization: `Bearer ${token}` } }
);
const data = await res.json();
const d = data.deployments?.[0];
if (!d) return { ok: false, error: "No deployments found" };
return { ok: d.state === "READY", state: d.state, url: d.url };
} catch (e: any) {
return { ok: false, error: e.message };
}
}
// --- CLI ---
if ((() => { try { return import.meta.url === `file://${realpathSync(process.argv[1])}`; } catch { return false; } })()) {
(async () => {
const [, , cmd, ...args] = process.argv;
switch (cmd) {
case "ssh": {
const command = args.join(" ");
if (!command) { console.error("Usage: api.ts ssh <command>"); process.exit(1); }
console.log(sshMacMini(command));
break;
}
case "xano": {
const result = await checkXano();
console.log(JSON.stringify(result, null, 2));
break;
}
case "vercel": {
const [project] = args;
if (!project) { console.error("Usage: api.ts vercel <project>"); process.exit(1); }
const result = await checkVercel(project);
console.log(JSON.stringify(result, null, 2));
break;
}
default:
console.log("Usage: npx tsx api.ts [ssh|xano|vercel] ...");
}
})();
}
scripts- helper scripts it can run
prose-only skill - 1 inline code block live in SKILL.md above (no state/bin/ sidecar yet).
how we check it- the checks, plus the last 10 runs
| timestamp | verb | score | primary_issue | artifact |
|---|---|---|---|---|
| 2026-04-25 04:11Z | - | 1.00 | - | - |
| 2026-04-21 15:58Z | - | 1.00 | - | - |
| 2026-04-21 15:56Z | - | 1.00 | - | - |
| 2026-04-21 03:53Z | - | 1.00 | - | - |
| 2026-04-25 04:11Z | - | 1.00 | - | - |
| 2026-04-21 15:58Z | - | 1.00 | - | - |
| 2026-04-21 15:56Z | - | 1.00 | - | - |
| 2026-04-21 03:53Z | - | 1.00 | - | - |
| 2026-04-25 04:11Z | - | 1.00 | - | - |
| 2026-04-21 15:58Z | - | 1.00 | - | - |