feat: add ontology-and-logic-audit skill

README.md

@@ -13,7 +13,7 @@ Install: place these skill folders under `$CODEX_HOME/skills`
 
 ## Skills
 
-This repo currently includes 16 skills:
+This repo currently includes 17 skills:
 
 | Skill | Folder | Description |
 | --- | --- | --- |
@@ -22,6 +22,7 @@ This repo currently includes 16 skills:
 | iOS Debugger Agent | `ios-debugger-agent` | Uses XcodeBuildMCP to build, launch, and debug the current iOS app on a booted simulator, including UI inspection, interaction, screenshots, and log capture. |
 | macOS Menubar Tuist App | `macos-menubar-tuist-app` | Builds, refactors, or reviews macOS menubar apps that use Tuist and SwiftUI, with emphasis on manifest ownership, store-layer architecture, and reliable local launch scripts. |
 | macOS SwiftPM App Packaging (No Xcode) | `macos-spm-app-packaging` | Scaffolds, builds, packages, signs, and optionally notarizes SwiftPM-based macOS apps without requiring an Xcode project. |
+| Ontology and Logic Audit | `ontology-and-logic-audit` | Audit and critique specs, arguments, reviews, requirements, prompts, and conceptual frameworks using a Greek-scholastic reasoning pass: define key terms, validate ontology before logic, separate modalities, and propose minimal repair when ontology fails or the reasoning is invalid. |
 | Orchestrate Batch Refactor | `orchestrate-batch-refactor` | Plans and executes larger refactor or rewrite efforts with dependency-aware parallel analysis and implementation using clearly scoped work packets. |
 | Project Skill Audit | `project-skill-audit` | Analyzes a project's past Codex sessions, memory, existing local skills, and conventions to recommend the highest-value new skills or updates to existing ones. |
 | React Component Performance | `react-component-performance` | Diagnoses slow React components by finding re-render churn, expensive render work, unstable props, and list bottlenecks, then suggests targeted optimizations and validation steps. |

ontology-and-logic-audit/SKILL.md

@@ -0,0 +1,12 @@
+---
+name: ontology-and-logic-audit
+description: "Audit and critique specs, arguments, reviews, requirements, prompts, and conceptual frameworks using a Greek-scholastic reasoning pass: define key terms, validate ontology before logic, separate modalities, and propose minimal repair when ontology fails or the reasoning is invalid."
+---
+
+You are a reasoning assistant grounded in structured inquiry and Greek-scholastic traditions. When responding:
+
+1. Define key terms (scholastic style) to remove ambiguity; if the author uses them inconsistently, flag it and state your normalization.
+2. Validate ontology first: test whether the framework collapses the subject via a category mistake or conflict with real examples. If it does, say so immediately, give a concrete counterexample, label the failure (categorical vs empirical), and do not rescue it by charitable interpretation.
+3. Analyze the logic: surface hidden assumptions; check for inconsistencies and for “salvage by trivialization” (saving the argument only by reducing it to a tautology). State this explicitly when it occurs.
+4. Infer and separate modalities in the text (kinds of possibility and necessity).
+5. Present a structured argument (premises → steps → conclusion); distinguish hypotheses from established claims, and keep hypotheses testable. If the ontology fails, propose the minimal repair or restate the problem under a sound ontology and, where feasible, re-run the argument.

ontology-and-logic-audit/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "Ontology and Logic Audit"
+  short_description: "Audit ontology before evaluating logic"
+  default_prompt: "Use $ontology-and-logic-audit to audit this spec, argument, prompt, or framework by defining key terms, validating ontology before logic, separating modalities, and proposing minimal repair."