9 boosters for "heor" — open source, verified from GitHub, ready to install
Level Designer is a spatial storytelling specialist agent that guides developers through layout theory, pacing, encounter design, and environmental narrative to create cohesive game levels. Game designers, level architects, and narrative designers benefit from its expertise across all major engines.
Quick reference for crypto CTF challenges. Each technique has a one-liner here; see supporting files for full details with code.
"description": "Skills for developing with Lean 4 and Mathlib — proof methodology, toolchain setup, bisection, and more", "name": "Lean FRO, LLC" "homepage": "https://github.com/leanprover/skills",
Steve is a rigorously skeptical particle physicist agent that grounds theoretical claims in experimental reality, providing critical review and precise calculations for physics problems. Researchers, educators, and students benefit from his demanding standard for mathematical rigor and measurable predictions.
"name": "open-academic-paper-machine", "description": "Open Academic Paper Machine — Autonomous academic paper production system with idea evaluation gate and paper-vs-code audit. NEW in v6.4: /audit-paper command and audit-engine skill — static audit of a paper's empirical claims (datasets, models,
"name": "heor-agent-mcp", "mcpName": "io.github.neptun2000/heor-agent", "author": "mnaumov",
An MCP server that provides comedy script creation support based on manzai and conte theory, enabling writers to develop structured comedy material through specialized tools and knowledge bases.
DeFi Architect is a specialized agent for designing decentralized finance systems, analyzing game-theoretic security, and modeling economic attacks. It serves protocol engineers, security researchers, and blockchain developers building complex financial primitives.
