newmath

newmath には the-omega-institute から収集した 4 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。

the-omega-institute のプロフィール GitHub で見る

収集済み skills

Stars

更新

2026-06-23

Forks

職業カバレッジ

ソフトウェア開発者テクニカルライター高等教育数理科学教員

3 件の職業カテゴリ · 100% 分類済み

リポジトリエクスプローラー

このリポジトリの skills

クリエイター/リポジトリ/skill

skill

職業分類

説明

更新

write-dossier

テクニカルライター

Use when writing or updating BEDC dossier essays under docs/dossier, especially bilingual Chinese/English philosophy articles that end with strict mathematical formalization.

2026-06-23

bedc-codex-auto-dev

ソフトウェア開発者

Start and monitor the BEDC paper revision and Lean formalization Codex pipelines on the shared codex-auto-dev integration branch.

2026-06-10

bedc-progress

ソフトウェア開発者

深入分析 BEDC 项目（newmath repo）的理论内容与发展状态，找出潜在问题与漂移点。从五个维度切入：理论结构骨架、形式化饱和度地图、开放问题清单、张力点、综合判断。当用户询问"项目进度""理论发展""形式化到哪""自指部分到哪""有什么问题""ship 状态""下一步攻什么"或类似主题时触发。

2026-05-15

killo-golden

高等教育数理科学教員

根据论文目录下的跟踪文档, 选取 papers/bedc/parts/visions 中最容易实现的未实现任务, 进行科研论文编写工作

2026-05-14