# morankor

> Open-source publisher. Listings imported from github.com/morankor — credited to the original author with their license.

- **Listings:** 5
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/morankor
- **Website:** https://github.com/morankor

## Published listings

- [Math Proof](https://agentstack.voostack.com/l/skill-morankor-theorist-toolbox-math-proof) — Skill · Free · security-reviewed — `agentstack add skill-morankor-theorist-toolbox-math-proof`
  Write clear, detailed mathematical proofs for academic papers. Use when
- [Co Math Status](https://agentstack.voostack.com/l/skill-morankor-theorist-toolbox-co-math-status) — Skill · Free · security-reviewed — `agentstack add skill-morankor-theorist-toolbox-co-math-status`
  Render a compact status view of an AI co-mathematician research project — goals, active workstreams, blocked items, pending reviews, recent decisions. Use when the user asks "what's the status of this project", "show me the workstreams", "/co-math-status", "what's blocked", or wants to understand project state without opening files manually. Replaces the visual workstream branching diagrams of th…
- [Codex Math](https://agentstack.voostack.com/l/skill-morankor-theorist-toolbox-codex-math) — Skill · Free · security-reviewed — `agentstack add skill-morankor-theorist-toolbox-codex-math`
  OpenAI Codex (gpt-5.5) as an adversarial mathematical co-processor — verify, write, and explore modes for hard proofs, counterexample search, and independent verification. Treat every output as a lead, not a verdict.
- [Proof Readability](https://agentstack.voostack.com/l/skill-morankor-theorist-toolbox-proof-readability) — Skill · Free · security-reviewed — `agentstack add skill-morankor-theorist-toolbox-proof-readability`
  Improve the readability and exposition of mathematical proofs that are
- [Co Math Init](https://agentstack.voostack.com/l/skill-morankor-theorist-toolbox-co-math-init) — Skill · Free · security-reviewed — `agentstack add skill-morankor-theorist-toolbox-co-math-init`
  Initialize a new AI co-mathematician research project. Use when the user wants to start a new math research investigation with AI agent support, or types "/co-math-init", "start a co-math project", "new research project", or similar. Scaffolds a directory with paper.tex, goals.md, decisions.md, workstreams/, and per-project hooks/config that enforce the co-mathematician discipline (no hand-waving…

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.