agentmods.dev

formalized-mathematics skills

2 tagged formalized-mathematics, measured the same way as everything else here.

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

omega

01

the-omega-institute/automath

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

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: