diff --git a/dist/mcp.js b/dist/mcp.js
index c54cd90..8f9b367 100644
--- a/dist/mcp.js
+++ b/dist/mcp.js
@@ -73,7 +73,7 @@ function handleRequest(request, serverRoot) {
return {
protocolVersion: "2025-06-18",
capabilities: { tools: {} },
- serverInfo: { name: "proofloop", version: "0.2.0" },
+ serverInfo: { name: "proofloop", version: "0.3.0" },
};
case "ping":
return {};
diff --git a/public/index.html b/public/index.html
index e54bf09..4ef722c 100644
--- a/public/index.html
+++ b/public/index.html
@@ -56,7 +56,7 @@
The gate decides
when it’s done.
- v0.3.0 · MIT · zero runtime deps · Node ≥ 20
+ source v0.3.0 · npm latest v0.2.0 until publish · MIT · zero runtime deps · Node ≥ 20
diff --git a/site-src/webcontainer-demo.js b/site-src/webcontainer-demo.js
index 80dac78..ed010b0 100644
--- a/site-src/webcontainer-demo.js
+++ b/site-src/webcontainer-demo.js
@@ -62,11 +62,11 @@ async function pipeToTerminal(process, term) {
}
async function runDemo(term, setStatus) {
- setStatus("booting sandbox…");
+ setStatus("booting sandbox...");
const webcontainer = await WebContainer.boot();
await webcontainer.mount(FIXTURE_FILES);
- setStatus("installing proofloop from npm…");
+ setStatus("installing proofloop from npm...");
term.writeln("$ npm install proofloop --no-audit --no-fund");
const install = await webcontainer.spawn("npm", ["install", "proofloop", "--no-audit", "--no-fund"]);
const installPipe = pipeToTerminal(install, term);
@@ -74,25 +74,25 @@ async function runDemo(term, setStatus) {
await installPipe;
if (installExit !== 0) {
setStatus("install failed");
- term.writeln("\r\n[install failed — showing recorded transcript instead]");
+ term.writeln("\r\n[install failed - showing recorded transcript instead]");
return;
}
- setStatus("running npx proofloop init…");
+ setStatus("running npx proofloop init...");
term.writeln("\r\n$ npx proofloop init");
const init = await webcontainer.spawn("npx", ["proofloop", "init"]);
const initPipe = pipeToTerminal(init, term);
await init.exit;
await initPipe;
- setStatus("running npx proofloop gate…");
+ setStatus("running npx proofloop gate...");
term.writeln("\r\n$ npx proofloop gate");
const gate = await webcontainer.spawn("npx", ["proofloop", "gate"]);
const gatePipe = pipeToTerminal(gate, term);
const gateExit = await gate.exit;
await gatePipe;
- setStatus(gateExit === 0 ? "gate: passed (real run, real proofloop package)" : "gate: failed");
+ setStatus(gateExit === 0 ? "gate: passed (real run against npm proofloop package)" : "gate: failed");
}
function init() {
@@ -111,7 +111,7 @@ function init() {
if (started) return;
started = true;
runButton.disabled = true;
- runButton.textContent = "Running…";
+ runButton.textContent = "Running...";
staticBody.hidden = true;
liveHost.hidden = false;
@@ -135,7 +135,7 @@ function init() {
try {
await runDemo(term, setStatus);
} catch (err) {
- setStatus("sandbox unavailable — showing recorded transcript instead");
+ setStatus("sandbox unavailable - showing recorded transcript instead");
term.writeln(`\r\n[${err && err.message ? err.message : "boot failed"}]`);
liveHost.hidden = true;
staticBody.hidden = false;
diff --git a/src/mcp.ts b/src/mcp.ts
index d085e2d..cb43eb7 100644
--- a/src/mcp.ts
+++ b/src/mcp.ts
@@ -92,7 +92,7 @@ function handleRequest(request: JsonRpcRequest, serverRoot: string): JsonValue {
return {
protocolVersion: "2025-06-18",
capabilities: { tools: {} },
- serverInfo: { name: "proofloop", version: "0.2.0" },
+ serverInfo: { name: "proofloop", version: "0.3.0" },
};
case "ping":
return {};