---
name: OUKC chat/forum aesthetic = Lean Zulip reference (NOT Forex Factory style)
description: ★★★★ 2026-05-02 OUKC の chat/forum 完成形雰囲気は Lean Zulip 型. Forex Factory 型 (情報過密・商業) は culture / audience / content 構造すべて不適合. Forex Factory から借用は live stats widget 1 件のみ.
type: feedback
originSessionId: 8c51533a-7cf8-4eb5-a6c8-0389bac25875
---
# OUKC chat/forum aesthetic 決定: Lean Zulip reference

**Source**: 藤本さん 2026-05-02 question — Lean Zulip vs Forex Factory どちらの雰囲気?

## 結論

**Lean Zulip (leanprover.zulipchat.com) 雰囲気が圧倒的に正解**.

## 5 reason 比較表

| 観点 | Lean Zulip | Forex Factory | OUKC 適合 |
|---|---|---|---|
| 対象 audience | 形式化研究者 / 数学者 / 哲学者 (~25,000 active) | FX trader / 投資家 (~3.4M monthly) | Zulip = OUKC natural audience と完全 overlap |
| content 形式 | 定理 / proof / 数式 / Lean code | 経済指標 / 取引記録 / news | Zulip = OUKC 既存 corpus 同質 |
| 数式 rendering | KaTeX native | 限定的 | Zulip 必須 |
| code block | Lean / Python / LaTeX 等 native | 限定的 | Zulip 必須 |
| 議論 structure | Topic-threaded (深い分岐) | 時系列 thread (浅い) | Zulip = academic discussion 適 |
| search | full-text + filter 強力 | 基本 | Zulip 強み |
| culture | 慎重 / formal / respectful | 投機的 / 商業 / 速い | Zulip 文化整合 |
| aesthetic | clean / minimal / blue-white | yellow-cream / 情報過多 / widget 多 | Zulip = OUKC golden/mandala 親和 |
| ad/commercial | なし (OSS plan 無料) | 多数 | academic commons は ad-free |
| empty state visual | 「clean / 招待的」 | 「情報過密だが空っぽ」 (worst case) | Zulip = 0 thread でも safe |

## ★ Forex Factory から借用すべき要素 (1 件のみ)

> Economic Calendar が site の magnet tool として最上段 displayed

OUKC への応用:
- **Live OUKC stats widget** (top page or sidebar)
  - 1,549 SEED_KERNEL / 2,188 Lean theorems / 145 papers / 4,290 META-DB
  - Daily Diamond Check grade
  - latest commit / publish event
- **Paper feed widget**: 最新 publish された paper を sidebar 表示
- **Lean 4 closure progress gauge**: Brocard / Mathlib Prep 進捗 visual

→ ただしこれは **OUKC site (rei-aios.pages.dev/oukc) 側の機能**であり、chat platform (Zulip) 側ではない.

## 最終形 architecture (将来 Phase 2+ 時期到来時)

```
┌─────────────────────────────────────────────────┐
│ rei-aios.pages.dev/oukc (Cloudflare Pages 既存) │
│  - golden/mandala academic aesthetic             │
│  - live stats widget (Forex Factory 借用 1 件)   │
│  - Charter / Methodology / Papers / Lean Progress│
│  - Auto-Prover (REI-PROVE)                       │
│  - 「Discuss on Zulip →」 Big CTA                │
└─────────────────────────────────────────────────┘
                       ↓ click
┌─────────────────────────────────────────────────┐
│ oukc.zulipchat.com (Phase 2+ 採用判断時)         │
│  - Lean Zulip 雰囲気 (clean / minimal / blue-white)│
│  - 数式 + Lean code native                       │
│  - Topic-threaded                                │
│  - OSS plan 無料                                 │
└─────────────────────────────────────────────────┘
                  ↑↓ cross-reference
┌─────────────────────────────────────────────────┐
│ github.com/fc0web/rei-open-problems/discussions │
│ (Day-1 primary, 2026-05-02 enabled)              │
└─────────────────────────────────────────────────┘
```

## ★ Honest hedge: Forex Factory 真似は止める

- Forex Factory は **5 年荒野期 + 10 年 organic growth** で築き上げた特殊 balance
- 真似しても 0 contributors 状態では 「情報過密だが空っぽ」 worst-visual 生む
- Lean Zulip 雰囲気なら 0 thread でも 「clean / 招待的」
- Empty state での見栄えは Lean Zulip 雰囲気の方が圧倒的 safe

## How to apply

### 短期 (今日〜)
- 何もしない
- Day-1 primary は GitHub Discussions ✅ 既に enabled
- OUKC site (rei-aios.pages.dev/oukc) は既に Lean Zulip と親和する golden/mandala academic aesthetic で polish 済 (本日 OukcChat completion)

### 中期 (Phase 1, ~2027 中盤)
- REI-PROVE Auto-Prover external packaging を最初の tool 投資先
- live stats widget を OUKC home に追加候補 (Forex Factory 借用 1 件)
- Andrica / Q33 viz を cheap parallel として standalone 公開

### 長期 (Phase 2+, ~2028+)
- 5-10 deep contributors が育った時に **oukc.zulipchat.com** OSS plan で server 立ち上げ
- Categories: research / questions / new members / specific projects (Lean Zulip pattern 模倣)
- GitHub Discussions ↔ Zulip の cross-reference + 重複避ける役割分担

## 関連メモリ

- `feedback_oukc_tool_first_strategy.md` — Tool-first synthesis (Forex Factory 5-10 年荒野期 / 学術 OEIS-Mathlib-arXiv pattern / Phase 0-3 plan / 藤本さん refinement)
- `feedback_oukc_motto_v3_density_anchor.md` — golden/mandala academic aesthetic の philosophical anchor
- `feedback_oukc_replicability_brutal_honest.md` — 100 deep users × 10 年 plan
- `feedback_chat_claude_3rd_critique_oukc_pre_publish.md` — Phase 0/1/2 publish strategy

## 永久参照価値

★★★★ — OUKC visual identity の load-bearing decision.
「Forex Factory 雰囲気を真似ない」 discipline は Phase 1+ tool packaging 設計時にも適用される (i.e., REI-PROVE landing page も academic minimal で設計し、商業/情報過密スタイル避ける).