-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#339 In SkyLabsAI/rocq-agent-toolkit;
- Status: Open.#336 In SkyLabsAI/rocq-agent-toolkit;
Add convenient constructors to the goal cursor API
enhancementNew feature or requestNew feature or requestStatus: Open.#328 In SkyLabsAI/rocq-agent-toolkit;[dashboard] incremental migration to span-based telemetry for
RocqCursorenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededtriageRequires triageRequires triageStatus: Open.#319 In SkyLabsAI/rocq-agent-toolkit;Validate the wire-protocol for the remote agent
help wantedExtra attention is neededExtra attention is neededtriageRequires triageRequires triageStatus: Open.#313 In SkyLabsAI/rocq-agent-toolkit;[rocq-doc-manager] maybe fail in
commit/contentson blanks errors?questionFurther information is requestedFurther information is requestedStatus: Open.#312 In SkyLabsAI/rocq-agent-toolkit;Tracer: case sensitivity of generated file names
bugSomething isn't workingSomething isn't workingStatus: Open.#303 In SkyLabsAI/rocq-agent-toolkit;[rat-utils/env.py] common helpers for writing logic conditioned on the environment
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededtriageRequires triageRequires triageStatus: Open.#301 In SkyLabsAI/rocq-agent-toolkit;[rocq-agent-tools-pydantic] Summarization/Compaction Protocol for
ProofAgentsenhancementNew feature or requestNew feature or requesttriageRequires triageRequires triageStatus: Open.#296 In SkyLabsAI/rocq-agent-toolkit;- Status: Open.#295 In SkyLabsAI/rocq-agent-toolkit;
pyroof_search/StrategyAgent:
proveimplementation does not propagate document effects to the originalRocqCursorbugSomething isn't workingSomething isn't workingStatus: Open.#287 In SkyLabsAI/rocq-agent-toolkit;- Status: Open.#284 In SkyLabsAI/rocq-agent-toolkit;