lean-lsp
01MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 72 1mo ago A
tokens not measured
omega
02Skill 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
03Skill 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: