Davidvandijcke/coarse

chore(ci): add one canonical verifier and require deterministic checks 24 days ago

documentation enhancement help wanted area: deploy priority: high

174

Python

fix(prompts): allow evidence-based abstention and remove forced-comment minima 24 days ago

enhancement help wanted area: pipeline area: llm priority: medium

Davidvandijcke/coarse

174

Python

chore(dev): make contributor workflows agent-neutral and documentation source-generated 24 days ago

documentation enhancement help wanted area: deploy area: cli priority: medium

Davidvandijcke/coarse

174

Python

fix(pipeline): generalize cross-section review beyond the first results section 24 days ago

bug help wanted area: pipeline priority: medium

Davidvandijcke/coarse

174

Python

fix(cli): isolate subscription reviewers from ambient agent tools and configuration 24 days ago

bug help wanted area: llm area: cli security priority: high

Davidvandijcke/coarse

174

Python

Add a higher-quality OCR fallback than Docling 24 days ago

enhancement help wanted area: extraction priority: low experimental

Davidvandijcke/coarse

174

Python

roadmap: evidence-first Deep Agent, Lean verification, and open evaluation 24 days ago

enhancement help wanted priority: high roadmap

Davidvandijcke/coarse

174

Python

feat(input): support supplementary documents with source-aware retrieval 24 days ago

enhancement help wanted area: extraction area: pipeline area: web priority: medium experimental

Davidvandijcke/coarse

174

Python

feat(models): add GLM-5.3 and GLM-5.3 Flash with capability tests 24 days ago

enhancement help wanted area: llm area: web priority: medium experimental

Davidvandijcke/coarse

174

Python

feat(pipeline): persona-diverse section ensemble 24 days ago

enhancement help wanted area: pipeline priority: medium

Davidvandijcke/coarse

174

Python

feat(pipeline): claim graph pre-pass and wire orphaned check_assumptions / ContradictionCheckAgent 24 days ago

enhancement help wanted area: pipeline priority: medium

Davidvandijcke/coarse

174

Python

feat(pipeline): multi-specificity literature retrieval loop 24 days ago

enhancement help wanted area: pipeline priority: medium

Davidvandijcke/coarse

174

Python

epic(formal): Lean-assisted proof verification for research papers 24 days ago

enhancement help wanted area: pipeline priority: medium roadmap area: formal verification experimental

Davidvandijcke/coarse

174

Python

feat(formal): extract proof obligations and route by economic formalizability 24 days ago

enhancement help wanted area: pipeline priority: medium area: formal verification experimental

Davidvandijcke/coarse

174

Python

test(formal): benchmark Lean faithfulness, routing, and alpha usefulness 24 days ago

enhancement help wanted priority: high area: evaluation area: formal verification experimental

Davidvandijcke/coarse

174

Python

feat(formal): add honest review statuses and UI for Lean evidence 24 days ago

enhancement help wanted area: pipeline area: web priority: medium area: formal verification experimental

Davidvandijcke/coarse

174

Python

feat(agent): add a bounded tool runtime, paper context broker, and evidence ledger 24 days ago

enhancement help wanted area: pipeline area: llm priority: high experimental

Davidvandijcke/coarse

174

Python

feat(web): add revision-check workflow backed by review-to-revision evidence 24 days ago

enhancement help wanted area: pipeline area: web priority: medium experimental

Davidvandijcke/coarse

174

Python

feat(formal): freeze theorem statements and enforce semantic faithfulness 24 days ago

enhancement help wanted priority: high area: formal verification experimental

Davidvandijcke/coarse

174

Python

feat(formal): add a persistent proof DAG and paper-path verification loop 24 days ago

enhancement help wanted priority: medium area: formal verification experimental

Davidvandijcke/coarse

174

Python

feat(formal): build pinned Lean/Mathlib domain packs and agent tools 24 days ago

enhancement help wanted area: deploy priority: medium area: formal verification experimental

Davidvandijcke/coarse

174

Python

feat(eval): add SPOT, SPECS, and ReviewBench adapters with top-K scoring 24 days ago

enhancement help wanted priority: medium area: evaluation experimental

Davidvandijcke/coarse

174

Python

feat(eval): run exact same-model frontier-max harness ablations 24 days ago

enhancement help wanted area: llm priority: high area: evaluation experimental

Davidvandijcke/coarse

174

Python

fix(web): replace unsupported comparison claims with reproducible evidence 24 days ago

bug help wanted good first issue area: web priority: high area: evaluation

Davidvandijcke/coarse

174

Python

feat(eval): add reproducible run manifests and blind expert adjudication 24 days ago

enhancement help wanted area: pipeline priority: medium area: evaluation

Davidvandijcke/coarse

174

Python

feat(eval): add stage-local GEPA optimization with Pareto held-out gates 24 days ago

enhancement help wanted area: llm priority: medium area: evaluation experimental

Davidvandijcke/coarse

174

Python

feat(eval): build a review-to-revision substantive-uptake benchmark 24 days ago

enhancement help wanted priority: medium area: evaluation experimental

Davidvandijcke/coarse

174

Python

feat: support non-English papers and reviews 4 months ago

enhancement help wanted area: pipeline area: llm priority: medium

Davidvandijcke/coarse

174

Python

Checkpoint-and-resume for subscription-limit aborts in coarse-review --handoff 4 months ago

enhancement help wanted area: cli priority: low

Davidvandijcke/coarse

174

Python

perf(extraction): benchmark cheaper host models for OpenRouter file-parser pass-through 4 months ago

enhancement help wanted area: extraction area: llm performance priority: low

Davidvandijcke/coarse

174

Python

Add OAuth integrations 5 months ago

enhancement help wanted area: web priority: low

Davidvandijcke/coarse

174

Python

Guide on how to use it with codex/claude code instead os using API 5 months ago

documentation enhancement help wanted good first issue area: cli priority: low

Davidvandijcke/coarse

174

Python

feat: Progress indicators when running from the cli 5 months ago

enhancement help wanted good first issue area: cli priority: low

Davidvandijcke/coarse

174

Python

chore: add codex-native review commands 5 months ago

enhancement help wanted area: cli priority: low

Davidvandijcke/coarse

174

Python

can not open codex in windows 10 5 months ago

bug help wanted area: cli priority: low

Davidvandijcke/coarse

174

Python

Open Issues Need Help