verification-first

Verification-first agentic coding harness for Claude Code.

Codex-native Intent-Driven Development template for OpenSpec with /opsx, Matt grill-with-docs gates, mandatory TDD, Project Constitution, ADRs, and Git checkpoints.

Fable5-like evidence-first Codex skill for agent workflows, verification-first delivery, adversarial review, and portable prompts.

AI keeps skipping steps? Super-Spec enforces every step with evidence. Seven-gate engineering discipline for AI coding agents: anti-corner-cutting, verification-first, spec-driven. Stop vibe coding, start spec driving. Production-grade quality for solo developers.

graphForge: 纯 NumPy 世界级谱图学习与社区发现系统 — 谱聚类 + 旗舰 CommunityFuse(多起点Louvain+模块度增益归并+粗化谱归并+局部精炼,修复分辨率极限) + WL图核 + PageRank + 图拉普拉斯不变量,42单测全绿,确定性逐位一致。作者 晨星

世界级 AI 引擎（基础内核）：零依赖、数值严谨、数学不变量自检 16/16 全绿。作者：晨星

Conv Forge · 卷积神经网络锻造炉 — 单文件零依赖，手写 2D 卷积(im2col+GEMM)/最大池化/反向传播，数值梯度检验对拍到机器精度，端到端训练真实收敛，10 项不变量全绿。作者：晨星 (CJX0712)

forgestack: 本地可运行 AI 系统 — 复用 forest/spectral/bpe 三引擎 + ml-distance 向量检索 + 自研标准度量，一键复现，41 单测全绿。

Verification-first, zero-dependency AI numeric & algorithm core. SVD/JacobiEig/PCA/GMM/kNN/MLP/Attention with provable mathematical invariants. MIT. Author: 晨星

启明 Qiming —— 可验证的检索增强生成系统（Verifiable RAG）：混合检索 + Cross-Encoder 重排 + 句级支持度校验 + 覆盖率门槛拒答。每一层站在世界顶级开源方案之上，76 测试 + 26 不变量 + 黄金基准全绿。作者：晨星

LabelForge · 弱监督 / 程序化标注标签模型系统：纯 numpy Dawid-Skene EM 无金标估计 LF 准确率，以 EM 似然单调 / 参数可恢复 / 标签翻转识别为可验证金标准

Transformer Forge v2 - 单文件零依赖手写 decoder-only 因果 Transformer（多头自注意力+正弦位置编码+FFN+LN+交叉熵+Adam+梯度裁剪），合成复制/回显任务自回归学会，梯度检验+注意力行和/因果/确定性等15项不变量全绿

CartPole Forge - 单文件零依赖 PPO 强化学习实验室：手写 CartPole 物理+策略/价值网络+GAE+裁剪代理目标+熵正则，贪心策略10x200步全顶格，GAE双路径对拍+梯度检验，Node无头16项不变量全绿

本地优先、端到端可验证的 RAG 知识库与证据锚定平台（Python 3.13 + 单文件 HTML 控制台）。aetheros 同源品牌家族。

ClusterForge — 聚类与表征学习系统：共识集成 EAC 旗舰，纯 numpy 离线兜底，确定性可复现基准。

PerClass-MIA: 免影子模型的逐类参考归一化成员推断攻击 — AUC 0.727 vs 强基线 0.680 (+0.047, t=29.0)。纯 NumPy、确定性可复现。作者: 晨星

单文件零依赖 MCTS(UCT) 实验台：手写引擎与精确 Minimax 交叉验证，10/10 无头自检全绿

✦ gnnforge · 世界顶级图神经网络(GNN)内核：GCN/GAT/GraphSAGE + 极简反向模式自动微分 + GNNFuse 多模型融合旗舰。纯Python零依赖·置换等变/邻域局部性/梯度检验三重不变量交叉验证·可运行可复现可验证。作者：晨星

RlForge · 世界顶级强化学习系统（纯 NumPy·确定性·可验证）。天枢十层架构谱系，补全 AI 第三范式。Author 晨星。

混合检索 + 工具调用智能体 + 证据绑定回答；离线档零模型零网络全绿，在线档接本机 Ollama，依赖全锁定。