Search results

[Feature]:

enhancementNew feature or requestNew feature or request

Status: Open.

#264 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 28, 2026

[Perf]: speed up cache staleness

Status: Open.

#263 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 28, 2026

[Deps]: containerise and guix the thing fully

dependenciesPull requests that update a dependency filePull requests that update a dependency file

Status: Open.

#262 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 28, 2026

Governance/Hypatia hygiene: stale GEMINI.md, unpinned action, workflow timeouts, shellcheck

Status: Open.

#218 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 13, 2026

Bug/Security: secrets-mcp cartridge returns stubs and has insecure GraphQL dispatch

Status: Open.

#214 In hyperpolymath/boj-server;

· nkar123412-hub opened on Jun 12, 2026

[k] Gate enforcement + remaining release-readiness tracks

Status: Open.

#202 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[g] Implement the ~100 stub cartridges (truthfully, via the maker)

Status: Open.

#201 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[f] Independent high-assurance cartridge-making workflow (mint → provision → configure → harness)

Status: Open.

#200 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[e] Catch-all: repo hygiene + workflow-audit backlog

Status: Open.

#199 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[d] Long-term: "obleeny" — maximal principal reduction → provable inertness

Status: Open.

#198 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[proofs/a] boj-server core: enforce + minimise the trusted base

Status: Open.

#197 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

Consider publishing BoJ Server to the MCP Server Registry

Status: Open.

#188 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 2, 2026