diff --git a/README.md b/README.md index c4e96bb..8e9b6a9 100644 --- a/README.md +++ b/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. | diff --git a/ontology-and-logic-audit/SKILL.md b/ontology-and-logic-audit/SKILL.md new file mode 100644 index 0000000..19c2d5d --- /dev/null +++ b/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. diff --git a/ontology-and-logic-audit/agents/openai.yaml b/ontology-and-logic-audit/agents/openai.yaml new file mode 100644 index 0000000..449e95a --- /dev/null +++ b/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."