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