consistency-auditor
zhnnky329
Run scoped or final cross-media consistency checks for mathematical-modeling artifacts, comparing canonical numbers, symbols, parameters, decisions, files, and paper cla…
695GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Find a skill for your next task. Preview examples where available.
Results · “mathematical-morphology”
1–2 / 2
Results: 2
codex-math
morankor
Run an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps. Use for i…
70GitHub