직업 분류
소프트웨어 개발자
설명
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.
원문 언어: 영어
업데이트
xiaolai/xros
SkillsMP는 xiaolai/xros에서 4개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 4
- GitHub 스타
- 9
- GitHub 포크
- 1
이 저장소의 skills
직업 카테고리 2개 · 100% 분류됨
수집된 skill 4개 중 4개를 표시합니다.
skill
직업 분류
설명
업데이트
직업 분류
소프트웨어 개발자
설명
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개를 표시합니다.