Skip to main content

xiaolai/xros

SkillsMP は xiaolai/xros から 4 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

記録された最新のソース活動
SkillsMP カタログ更新
収集済み skills
4
GitHub スター
9
GitHub フォーク
1

このリポジトリの skills

収集済み skill 4 件中 4 件を表示しています。

職業分類
ソフトウェア開発者
説明

Compile an XROS methodology spec through an oracle-first interview. Classifies the problem into verification tier A/B/C before anything else, then fills and validates a schema-valid JSON spec.

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

The Tier-C path — structured, adversarial reasoning for a claim that has NO mechanical check. Decomposes the claim into premises and verifies the checkable ones, runs a pre-mortem, and emits dated tripwires. Never runs the CDC engine, never claims a verified…

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Execute an XROS methodology spec — run a CDC-style search (diverse independent routes, blocked-route state, adversarial refutation, counterexample-fed loop-until-dry), then authoritatively verify the winning candidate by running its oracle command and gating…

原文の言語: 英語

更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明

Orient a newcomer in an unfamiliar field, sharpen a vague question into a falsifiable claim, then discover the currently best-available way to check it. First maps the field's minimal vocabulary (the nouns you can ask about, the verbs you can do), then…

原文の言語: 英語

更新
収集済み skill 4 件中 4 件を表示しています。