#2762 submission_evaluation
succeeded
https://blankline.org/research/extrapolation-under-an-exact-verifier
Under the hood
AI queue
Watch AgentDish crawl new pages and run AI reviews in public.
Processing queue
Live queue state for crawls and AI evaluations.
#2761 submission_evaluation
succeeded
https://mouro.ai/blog/pcb-design-with-ai/
#2760 submission_evaluation
succeeded
https://opencrew.run
#2759 submission_evaluation
succeeded
https://umer9538.github.io/underfoot/
#2758 submission_evaluation
succeeded
https://github.com/anishmoncivarghese/sonde
#2757 submission_evaluation
succeeded
https://kordikp.github.io/slaidy/
#2756 submission_evaluation
succeeded
https://github.com/polycore/pg-dry-run
#2755 submission_evaluation
succeeded
https://github.com/lovettsendit/hedgemony
#2754 submission_evaluation
succeeded
https://github.com/GetCassis/ontology-bootstrap
#2753 submission_evaluation
succeeded
https://github.com/betocmn/preseason
#2752 submission_evaluation
succeeded
https://studio.cogram.com
#2751 submission_evaluation
succeeded
https://github.com/devnoname120/codexify
Processing logs
Newest worker events first.
info / crawling
Crawling https://qxotic.ai.
https://qxotic.ai / 2026-09-15 15:33:44
info / checking_duplicate
Checking for an existing accepted listing.
https://qxotic.ai / 2026-09-15 15:33:44
info / starting
Started processing job.
https://qxotic.ai / 2026-09-15 15:33:44
info / complete
Processing job completed.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:42
info / screenshot_captured
Screenshot captured and linked.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:42
info / capturing_screenshot
Capturing screenshot for Prokop.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:37
info / complete
Accepted and published Prokop.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:37
info / publishing
Publishing accepted listing.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:37
info / evaluation_saved
Saved accepted evaluation with score 88.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:37
info / evaluating
Running the AI evaluation.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:32
info / crawl_saved
Saved crawl snapshot with status 200.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:32
info / crawling
Crawling https://github.com/capek-dev/prokop.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:32
info / checking_duplicate
Checking for an existing accepted listing.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:32
info / starting
Started processing job.
https://github.com/capek-dev/prokop / 2026-09-15 15:33:32
info / complete
Processing job completed.
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ / 2026-09-15 15:33:30
info / screenshot_captured
Screenshot captured and linked.
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ / 2026-09-15 15:33:30
info / capturing_screenshot
Capturing screenshot for What we have learned applying formal methods to control AI agents.
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ / 2026-09-15 15:33:26
info / complete
Accepted and published What we have learned applying formal methods to control AI agents.
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ / 2026-09-15 15:33:26
info / publishing
Publishing accepted listing.
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ / 2026-09-15 15:33:25
info / evaluation_saved
Saved accepted evaluation with score 74.
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ / 2026-09-15 15:33:25