deonmenezes
UserMantis Hack
Categories
Indexed Skills (6)
mantis-debug
<!-- This file is a derivative work of Hacker Bob (https://github.com/vmihalis/hacker-bob/blob/main/.claude/skills/bob-debug/SKILL.md), Copyright 2026 Michail Vasileiadis, licensed under the Apache License, Version 2.0. See the project NOTICE file for the upstream attribution and apology.
mantis-hunt
<!-- This file is a derivative work of Hacker Bob (https://github.com/vmihalis/hacker-bob/blob/main/.claude/skills/bob-hunt/SKILL.md), Copyright 2026 Michail Vasileiadis, licensed under the Apache License, Version 2.0. See the project NOTICE file for the upstream attribution and apology.
mantis-status
<!-- This file is a derivative work of Hacker Bob (https://github.com/vmihalis/hacker-bob/blob/main/.claude/skills/bob-status/SKILL.md), Copyright 2026 Michail Vasileiadis, licensed under the Apache License, Version 2.0. See the project NOTICE file for the upstream attribution and apology.
mantis-egress
List, add, test, enable, disable, or remove Mantis egress profiles from Codex.
mantis-export
Create a Mantis post-release improvement bundle for the currently installed Mantis version.
mantis-update
Check for Mantis package updates and guide project-local update installation from Codex.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.