Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM) for Claude Code, OpenCode, and Gemini CLI. Fewer hallucinations, fewer blind spots, mathematically proven protocols.
active 2026-03-06 → 2026-08-09 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 157 days from 2026-03-06 to 2026-08-09. Pushes: 317 total, peak 23 in a day. Pull requests: 34 total, peak 5 in a day. Issues: 27 total, peak 9 in a day. Comments: 36 total, peak 14 in a day. Stars: 1 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| jobordu | 392 | 317 | 34 | 12 |
| coderabbitai[bot] | 33 | 0 | 0 | 19 |
| Copilot | 13 | 0 | 0 | 4 |
| github-actions[bot] | 5 | 0 | 0 | 0 |
| francis-dion | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Pull request#404jobordu2026-08-09 15:00
- Pull request#395jobordu2026-08-07 21:12
- Pull request#317jobordu2026-07-04 22:53
- Pull request#301jobordu2026-07-03 14:47
- Pull request#289jobordu2026-06-29 22:18
- Issue#198jobordu2026-06-25 15:18[CRITICAL] bin/run-*.cjs must have no side effects on require (consensus gate can be process.exit-killed)
- Issue comment#257coderabbitai[bot]2026-06-24 12:10fix(quorum): cache Layer-1 binary probes + consolidate two divergent helpers
- Issue comment#191jobordu2026-05-18 22:26feat(quorum): add min_live_voters floor for thin-consensus safety
- Pull request#153jobordu2026-05-03 08:41
- Pull request#153jobordu2026-05-03 08:35
- Issue comment#152coderabbitai[bot]2026-05-03 08:25fix(link-daintree): correct family-gate fallback in fan-out import
- Releasegithub-actions[bot]2026-05-02 19:21v0.43.0
- Pull request#151jobordu2026-05-02 19:19
- Issue#130jobordu2026-05-02 05:04Medium tier disproportionately hard (40%) — add test-case extraction to Loop 1 spec
- Issue#131jobordu2026-05-02 05:04Scale maxIterations by tier — legendary stubs need more Loop 2 attempts
- Issue#132jobordu2026-05-02 05:04Stub restoration is fragile — cascading failures on process kill/timeout
- Issue#133jobordu2026-05-02 05:04Add streaming and /no_think support to callLlm — cut benchmark time from 15h to ~4h
- Issue#128jobordu2026-05-02 05:04nf:solve --report-only inflates pass rate with 'layer skipped' false positives
- Pull request#137jobordu2026-05-01 07:51
- Pull request#123jobordu2026-04-27 20:08
- Pull request#120jobordu2026-04-27 09:52
- Issue comment#119coderabbitai[bot]2026-04-26 22:40docs: add standalone onboarding prompt
- Issue comment#119coderabbitai[bot]2026-04-26 22:30docs: add standalone onboarding prompt
- Issue comment#119jobordu2026-04-26 22:30docs: add standalone onboarding prompt
- Issue comment#119coderabbitai[bot]2026-04-26 22:11docs: add standalone onboarding prompt
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.