sk Skill · Auctalis
nocturnusai-reasoning
Use when working with NocturnusAI advanced reasoning — negation-as-failure (NAF), scopes (fork/merge/diff), hypothetical reasoning, confidence scores, conflict resolution strategies, or proof chains. Triggers on: NAF, negation, negation-as-failure, scope, fork, merge, hypothesis, confidence, conflict, proof, what-if, NocturnusAI reasoning.
Open on skills.sh ↗read 2026-09-15
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
jsonKotlin
- Host repository
- Auctalis/nocturnusai
- Host stars
- 3
- Host language
- Kotlin