the-omega-institute/automath — Skills

72Stars on the repository

31Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

omega

Skill Claude CodeCodex

Omega Reasoning Protocol — changes how the LLM thinks. Three principles: FORCING (what is structurally inevitable), MINIMIZE (remove assumptions until something breaks), AUDIT (every conclusion traceable to premises). Searches github.com/the-omega-institute/automath for structural correspondences. Use when: deep…

not rated 72 1mo ago A 115 tokens

pub-cycle

the-omega-institute/automath

Skill Claude CodeCodex

Publication Cycle — scans the main theory paper, identifies new paper extractions and existing paper gaps, then orchestrates the full review+fix pipeline. Workflow: Triage → Codex review+fix (2 rounds) → ChatGPT review → Codex fix → Claude review → Codex fix → ChatGPT journal-targeted acceptance gate. During wait…

not rated 72 1mo ago A 103 tokens

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: