Skip to content

Pull requests: SkyLabsAI/rocq-agent-toolkit

New pull request New
22 Open 170 Closed
22 Open 170 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[rocq-remote-agent, rocq-pipeline] Miscellaneous Bugfixes+Improvements
#250 opened Feb 24, 2026 by jhaag-skylabs-ai Loading…
3 of 5 tasks
@jhaag-skylabs-ai @gmalecha-at-skylabs
5
A test case for running on admits after qed.
#249 opened Feb 24, 2026 by gmalecha-at-skylabs Loading…
@gmalecha-at-skylabs
2
Show tactics proposed by the remote agent
#248 opened Feb 24, 2026 by ehtesham-zahoor Loading…
1
2
Document the interpretation of paths documentation Improvements or additions to documentation
#243 opened Feb 24, 2026 by gmalecha-at-skylabs Loading…
@gmalecha-at-skylabs
8
Fix proof scanning bug Something isn't working
#241 opened Feb 24, 2026 by gmalecha-at-skylabs Loading…
@gmalecha-at-skylabs
12
Re-oraganize the search modules documentation Improvements or additions to documentation
#238 opened Feb 23, 2026 by gmalecha-at-skylabs Loading…
@gmalecha-at-skylabs
3
_iter_path_args WIP
#233 opened Feb 23, 2026 by pgiarrusso-sl • Draft
9
Unify the dependency system using DuneRocqPlugins
#229 opened Feb 20, 2026 by gmalecha-at-skylabs Loading…
@rlepigre-skylabs-ai @gmalecha-at-skylabs
4
Testing RC's insert/run command for focus operations
#224 opened Feb 19, 2026 by LennartATSkylabsAI Loading…
@LennartATSkylabsAI @jhaag-skylabs-ai
32
fix(rocq-pipeline): use futures for parallel_runner so worker results are reported immediately enhancement New feature or request
#221 opened Feb 19, 2026 by jhaag-skylabs-ai Loading…
@jhaag-skylabs-ai
9
Some investigation about consolidating tunnel and duplex.
#219 opened Feb 19, 2026 by gmalecha-at-skylabs Loading…
1
[rocq-pipeline] add a rat build subcommand for task files
#212 opened Feb 18, 2026 by jhaag-skylabs-ai Loading…
@jhaag-skylabs-ai
30
Added tag for use of deprecated tactics (currently only verify_spec')…
#182 opened Feb 11, 2026 by LennartATSkylabsAI Loading…
@LennartATSkylabsAI
7
[rocq-doc-manager/python] plugin registry + rocq-term-deps/python plugin
#173 opened Feb 9, 2026 by jhaag-skylabs-ai • Draft
11 tasks
@jhaag-skylabs-ai
14
Lennart/compare proofscripts
#156 opened Jan 30, 2026 by LennartATSkylabsAI Loading…
@LennartATSkylabsAI
16
Revert "BugFix Strip trailing '.' from tactics in RocqTacticAction to handle clients that predict tactics with these periods. "
#153 opened Jan 30, 2026 by pgiarrusso-sl Loading…
@gmalecha-at-skylabs
3
Enable http/protobuf endpoint for Alloy
#145 opened Jan 28, 2026 by ehtesham-zahoor Loading…
1
fix: add build() function to json_goal tracer for explicit loading
#121 opened Jan 21, 2026 by sky-rayan Loading…
@Janno
4
Seaprate run_level information from task-level in the JSONL
#118 opened Jan 19, 2026 by areebtariq-skylabs Loading…
6
[rocq-pipeline] centralize structured logging for Rocq tactic application/prediction
#111 opened Jan 15, 2026 by jhaag-skylabs-ai Loading…
@jhaag-skylabs-ai
1
Add search guide documentation
#49 opened Dec 29, 2025 by skylabs-Usama Loading…
@skylabs-Usama
7
DRAFT [provenance-toolkit]: address usability limitations by adding extensible structural signatures enhancement New feature or request
#17 opened Dec 18, 2025 by jhaag-skylabs-ai Loading…
3 tasks
1
@jhaag-skylabs-ai
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.