jose-compu

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• Implicit JSON object literals ({ k: v }) in a JSON checking position

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:emit area:typeck enhancement known-limitation release:v1.11.0 spec-gap

  難易度 5/5 1週間以上 初心者へのやさしさ 48/100

  jose-compu/crisp#166 · 2026年10月16日 に作成

• feat(finance): implement ERC-3475 abstract storage bonds

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement solidity

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/curated-erc#58 · 2026年10月10日 に作成

• Circuit: Remaining Safe* wrappers (XOR/NOT/NAND/NOR, MultiMux)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  circuits enhancement good first issue priority: low

  難易度 3/5 1〜2日 初心者へのやさしさ 62/100

  jose-compu/opencircom#38 · 2026年10月10日 に作成

• [Epic] 0.10.0 Algebra — cpa-agents research parallelism and inversion

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra epic

  難易度 5/5 1週間以上 初心者へのやさしさ 28/100

  jose-compu/trek#122 · 2026年10月7日 に作成

• Docs: 0.10.0 Algebra / cpa-agents research parallelism

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra documentation

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  jose-compu/trek#121 · 2026年10月7日 に作成

• Test gate: 0.10.0 Algebra (cpa-agents parallel + inversion)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra tests

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#120 · 2026年10月7日 に作成

• CPA inversion: branchFix, retries, and rollback-aware research trees

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 38/100

  jose-compu/trek#119 · 2026年10月7日 に作成

• Performance: parallel tool/research ops via cpa-agents vs sequential baseline

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra enhancement performance

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  jose-compu/trek#118 · 2026年10月7日 に作成

• Research parallelism: par / mapPar fan-out for research prompts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra enhancement performance

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#117 · 2026年10月7日 に作成

• Integrate cpa-agents dependency and Scheduler host

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  algebra enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  jose-compu/trek#116 · 2026年10月7日 に作成

• [Epic] 0.17.0 Performance — latency budgets and hot-path cuts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  epic performance

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#115 · 2026年10月7日 に作成

• Docs: 0.17.0 Performance

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation performance

  難易度 2/5 1〜3時間 初心者へのやさしさ 68/100

  jose-compu/trek#114 · 2026年10月7日 に作成

• Latency baselines: profile:tui and profile:rpc thresholds

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement performance

  難易度 4/5 3〜5日 初心者へのやさしさ 52/100

  jose-compu/trek#113 · 2026年10月7日 に作成

• Test gate: 0.17.0 performance budgets

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  performance tests

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  jose-compu/trek#112 · 2026年10月7日 に作成

• Speed up session JSONL and trace write path

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement performance trace

  難易度 4/5 3〜5日 初心者へのやさしさ 42/100

  jose-compu/trek#111 · 2026年10月7日 に作成

• Cut O→I→A→R reflective-loop overhead on the hot path

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement performance reflective-loop

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  jose-compu/trek#110 · 2026年10月7日 に作成

• Reduce cold-start and CLI startup time

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement performance

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  jose-compu/trek#109 · 2026年10月7日 に作成

• Short thinking traces interleaved with tool calls

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement reflective-loop tools

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#108 · 2026年9月30日 に作成

• Safe mode: owner vs guest on external channels

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement safety telegram

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  jose-compu/trek#106 · 2026年9月29日 に作成

• [Epic] 0.12.0 Domains — Archon workflows, detected per task context

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains epic

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#104 · 2026年9月29日 に作成

• Docs: per-task domain and workflow detection

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation domains

  難易度 3/5 1〜2日 初心者へのやさしさ 58/100

  jose-compu/trek#103 · 2026年9月29日 に作成

• Test gate: 0.12.0 automatic domain and workflow selection

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains tests

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#102 · 2026年9月29日 に作成

• CLI: trek domains and trek workflows

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  jose-compu/trek#101 · 2026年9月29日 に作成

• Trace domain, workflow, and selection reason before tools run

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains trace

  難易度 4/5 3〜5日 初心者へのやさしさ 52/100

  jose-compu/trek#100 · 2026年9月29日 に作成

• Auto-detect work domain and Archon workflow for each task context

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains reflective-loop

  難易度 5/5 1週間以上 初心者へのやさしさ 45/100

  jose-compu/trek#99 · 2026年9月29日 に作成

• Archon YAML workflows per active domain

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/trek#98 · 2026年9月29日 に作成

• Domain catalog: Meta, AI, Security always on; other domains opt-in

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domains enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 52/100

  jose-compu/trek#97 · 2026年9月29日 に作成

• Investigate proof-producing compilation (Avigad et al.) as an alternative to verified compilers

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 68/100

  jose-compu/smart-contract-verification#15 · 2026年9月21日 に作成

  メンテナーはふだん 3 日以内に返信

• Investigate ConCert: certified extraction and its executable chain semantics

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 38/100

  jose-compu/smart-contract-verification#14 · 2026年9月21日 に作成

  メンテナーはふだん 3 日以内に返信

• Investigate DeepSEA: verified compilation to EVM bytecode with a Coq model

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 32/100

  jose-compu/smart-contract-verification#13 · 2026年9月21日 に作成

  メンテナーはふだん 3 日以内に返信

• Crisp slices xs[1..4] and [T; N] (language, not only FFI)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:typeck enhancement known-limitation release:v1.10.0

  難易度 4/5 3〜5日 初心者へのやさしさ 52/100

  jose-compu/crisp#159 · 2026年9月13日 に作成

• extern rust: vec<str> / vec<bool> (after numeric vec FFI)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:emit area:typeck enhancement known-limitation release:v1.10.0

  難易度 3/5 1〜2日 初心者へのやさしさ 68/100

  jose-compu/crisp#158 · 2026年9月13日 に作成

• Grok 4.6 is confused by [idempotent] tool results

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug tools

  難易度 3/5 1〜2日 初心者へのやさしさ 68/100

  jose-compu/trek#96 · 2026年9月7日 に作成

• Grok 4.6 reasoning loop: ignored effort + no stream abort

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug tools

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  jose-compu/trek#95 · 2026年9月7日 に作成

• 0.11.0 Memory: consume LogosDB contextual chunk annotations

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 55/100

  jose-compu/trek#94 · 2026年9月3日 に作成

• Contextual Retrieval: situating-context annotations on chunks before embed

  再び着手できるかも @jose-compu が 45 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feature

  jose-compu/logosdb#128 · コメント 1 件 · 担当者 1 名 · 2026年9月3日 に作成

• GitHub Linguist: register Crisp so .crp counts in language bars

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:dx enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  jose-compu/crisp#154 · 2026年8月28日 に作成

• feat(utils): implement ERC-5267 EIP-712 domain retrieval

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement solidity tier-3

  難易度 4/5 3〜5日 初心者へのやさしさ 68/100

  jose-compu/curated-erc#56 · 2026年8月27日 に作成

• feat(token): implement ERC-6909 minimal multi-token interface

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement solidity tier-3

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  jose-compu/curated-erc#55 · 2026年8月27日 に作成

• feat(agent): implement ERC-7857 AI agent NFT with private metadata

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement solidity

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/curated-erc#54 · 2026年8月27日 に作成

• feat(bridge): implement ERC-7786 cross-chain messaging gateway

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement solidity tier-2

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/curated-erc#53 · 2026年8月27日 に作成

• feat(account): implement ERC-4337 account abstraction interfaces

  再び着手できるかも @jose-compu が 52 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement solidity tier-2

  jose-compu/curated-erc#52 · 担当者 1 名 · 2026年8月27日 に作成

• Node.js: LangChain.js VectorStore adapter

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feature

  難易度 4/5 3〜5日 初心者へのやさしさ 65/100

  jose-compu/logosdb#127 · コメント 1 件 · 2026年8月24日 に作成

• LlamaIndex adapter: get(), filters, BasePydanticVectorStore

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feature

  難易度 4/5 3〜5日 初心者へのやさしさ 68/100

  jose-compu/logosdb#126 · コメント 1 件 · 2026年8月24日 に作成

• LangChain adapter: persist ids, metadata, and complete VectorStore contract

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feature

  難易度 4/5 3〜5日 初心者へのやさしさ 68/100

  jose-compu/logosdb#125 · コメント 1 件 · 2026年8月24日 に作成

• HTTP: Pinecone-like REST data plane (upsert / query / fetch / delete / describe)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feature

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/logosdb#124 · コメント 1 件 · 2026年8月24日 に作成

• Python: common VectorClient (upsert / query / fetch / delete / stats)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  api enhancement feature

  難易度 5/5 1週間以上 初心者へのやさしさ 45/100

  jose-compu/logosdb#123 · コメント 1 件 · 2026年8月24日 に作成

• API: fetch-by-id (logosdb_get) for vector + metadata

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  api enhancement feature

  難易度 4/5 3〜5日 初心者へのやさしさ 68/100

  jose-compu/logosdb#122 · 2026年8月24日 に作成

• Trait defaults, bounds enforcement, and dyn Trait

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:emit area:typeck enhancement P1 release:v1.7.0 spec-gap

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  jose-compu/crisp#59 · コメント 2 件 · 2026年8月12日 に作成

• Publish Crisp VS Code/Cursor extension (Marketplace or VSIX release asset)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:dx enhancement epic:publication P2 release:v1.5.0

  難易度 3/5 1〜2日 初心者へのやさしさ 68/100

  jose-compu/crisp#57 · 2026年8月12日 に作成