Proofs Gate

Workflow runs for Proofs Gate

• chore(deps): bump the actions group with 16 updates

  failed:
  Proofs Gate#361:Pull request#367openedbydependabot[bot]Bot
  dependabot/github_actions/actions-653c65eb5d

  Oct 23, 202614s
  More actions for workflow run 361

• Proofs Gate

  completed successfully:
  Proofs Gate#360:Scheduled
  main

  Oct 19, 202633s
  More actions for workflow run 360

• feat(registry): prioritize Bun > Deno/pnpm > npm/yarn across MCP mani…

  completed successfully:
  Proofs Gate#359:Commitc0d8b8apushedbyhyperpolymath
  main

  Oct 18, 202623s
  More actions for workflow run 359

• feat(registry): prioritize Bun > Deno/pnpm > npm/yarn across MCP manifest, scripts, and publish CI

  completed successfully:
  Proofs Gate#358:Pull request#366synchronizebyhyperpolymath
  arena/b1622b57-boj-server

  Oct 18, 202624s
  More actions for workflow run 358

• feat(registry): prioritize Bun > Deno/pnpm > npm/yarn across MCP manifest, scripts, and publish CI

  completed successfully:
  Proofs Gate#357:Pull request#366openedbyhyperpolymath
  arena/b1622b57-boj-server

  Oct 18, 202629s
  More actions for workflow run 357

• feat(registry): add MCP Server Registry manifest, ownership metadata,…

  completed successfully:
  Proofs Gate#356:Commit5ab45afpushedbyhyperpolymath
  main

  Oct 18, 202634s
  More actions for workflow run 356

• feat(registry): add MCP Server Registry manifest, ownership metadata, and CI publish (#188)

  completed successfully:
  Proofs Gate#355:Pull request#365synchronizebyhyperpolymath
  arena/f23c2245-boj-server

  Oct 18, 202636s
  More actions for workflow run 355

• feat(registry): add MCP Server Registry manifest, ownership metadata, and CI publish (#188)

  completed successfully:
  Proofs Gate#354:Pull request#365synchronizebyhyperpolymath
  arena/f23c2245-boj-server

  Oct 18, 202628s
  More actions for workflow run 354

• feat(registry): add MCP Server Registry manifest, ownership metadata, and CI publish (#188)

  completed successfully:
  Proofs Gate#353:Pull request#365synchronizebyhyperpolymath
  arena/f23c2245-boj-server

  Oct 18, 202625s
  More actions for workflow run 353

• feat(registry): add MCP Server Registry manifest, ownership metadata, and CI publish (#188)

  completed successfully:
  Proofs Gate#352:Pull request#365synchronizebycoderabbitai[bot]Bot
  arena/f23c2245-boj-server

  Oct 18, 202625s
  More actions for workflow run 352

• feat(registry): add MCP Server Registry manifest, ownership metadata, and CI publish (#188)

  completed successfully:
  Proofs Gate#351:Pull request#365openedbyhyperpolymath
  arena/f23c2245-boj-server

  Oct 18, 202627s
  More actions for workflow run 351

• docs: kcX is now kyX (#364)

  completed successfully:
  Proofs Gate#350:Commit2874b3fpushedbyhyperpolymath
  main

  Oct 13, 202628s
  More actions for workflow run 350

• docs: kcX is now kyX

  completed successfully:
  Proofs Gate#349:Pull request#364openedbyhyperpolymath
  chore/kcx-renamed-kyx

  Oct 13, 202631s
  More actions for workflow run 349

• Proofs Gate

  completed successfully:
  Proofs Gate#348:Scheduled
  main

  Oct 12, 202624s
  More actions for workflow run 348

• docs(site): mark the Cloudflare Pages paths as historical (#362)

  completed successfully:
  Proofs Gate#347:Commit3df9427pushedbyhyperpolymath
  main

  Oct 9, 202626s
  More actions for workflow run 347

• docs(site): mark the Cloudflare Pages paths as historical

  completed successfully:
  Proofs Gate#346:Pull request#362openedbyhyperpolymath
  docs/historical-pages-paths

  Oct 9, 202627s
  More actions for workflow run 346

• feat(site): serve the site on app.boj-server.net via a wrangler custo…

  completed successfully:
  Proofs Gate#345:Commit3f48830pushedbyhyperpolymath
  main

  Oct 9, 202627s
  More actions for workflow run 345

• feat(site): serve the site on app.boj-server.net via a wrangler custom domain

  completed successfully:
  Proofs Gate#344:Pull request#361openedbyhyperpolymath
  feat/app-subdomain-route

  Oct 9, 202623s
  More actions for workflow run 344

• fix(site): drop host-based redirect rejected by Workers assets (#360)

  completed successfully:
  Proofs Gate#343:Commitff9bdd2pushedbyhyperpolymath
  main

  Oct 8, 202628s
  More actions for workflow run 343

• fix(site): drop host-based redirect rejected by Workers assets

  completed successfully:
  Proofs Gate#342:Pull request#360openedbyhyperpolymath
  fix/workers-redirects

  Oct 8, 202627s
  More actions for workflow run 342

• fix(mcp-bridge): refuse undeclared arguments on every tool (#359)

  completed successfully:
  Proofs Gate#341:Commit68c9e96pushedbyhyperpolymath
  main

  Oct 8, 202625s
  More actions for workflow run 341

• fix(mcp-bridge): refuse undeclared arguments on every tool

  completed successfully:
  Proofs Gate#340:Pull request#359openedbyhyperpolymath
  fix/enforce-input-schema

  Oct 8, 20261m 3s
  More actions for workflow run 340

• fix(just): drop duplicate guix-shell recipe so the Justfile parses (#…

  completed successfully:
  Proofs Gate#339:Commit7dd5897pushedbyhyperpolymath
  main

  Oct 7, 20261m 1s
  More actions for workflow run 339

• fix(just): drop duplicate guix-shell recipe so the Justfile parses

  completed successfully:
  Proofs Gate#338:Pull request#358openedbyhyperpolymath
  fix/justfile-duplicate-guix-shell

  Oct 7, 202633s
  More actions for workflow run 338

• docs: stop presenting .machine_readable/6a2 as current state (#357)

  completed successfully:
  Proofs Gate#337:Commit4d77913pushedbyhyperpolymath
  main

  Oct 7, 202625s
  More actions for workflow run 337