Up to 40 newest skills, MCP servers, tools, LLMs, and agents — sorted by listing time.
LiveDemo is an open-source alternative for creating interactive product demos, suitable for various applications.
Mirage enables users to transform their SaaS products into interactive demos in just 90 seconds.
OpenMarkdown is a collaborative markdown editor that allows users and AI agents to co-edit documents seamlessly.
ZooData serves as a foundational data layer designed specifically for AI agents, enhancing their functionality and efficiency.
Clark is an AI coworker equipped with its own cloud computer, designed to assist users in various tasks.
Audit and improve UI surfaces while preserving product identity.
Pebbles Ai is an AI-driven sales platform tailored for modern B2B teams, streamlining sales processes and enhancing productivity.
Pocket Screen allows users to keep any Mac window visible in a floating mini screen, enhancing multitasking capabilities.
Timely enables users to pull their calendar availability in just three seconds, simplifying scheduling.
Unabyss for Claude enables seamless shared memory across various applications and language models, enhancing collaborative workflows.
Kimi K3 is the world's first open 3T-class model, offering advanced capabilities for AI research and development.
Reviews animation and motion code against a high craft bar derived from Emil Kowalski's design engineering philosophy. Default to flagging; approval is earned.
This skill encodes Emil Kowalski's philosophy on UI polish, component design, animation decisions, and the invisible details that make software feel great.
Search a codebase or UI for places that don't animate but should, and reject everything that shouldn't. Read-only; it proposes motion with exact values, it does not implement it. Use when the user asks "what could be an…
Survey a codebase's animation and motion code as a senior motion advisor, then produce a prioritized audit and self-contained implementation plans for other agents (or cheaper models) to execute. Read-only on source cod…
Zro provides a secure environment for coding agents to perform private inference.
Codex Micro offers tactile controls for managing Codex agents effectively.
River provides AI account executives to help demo and close B2B deals.
Paradigm transforms goals into tailored learning experiences, adapting to individual needs.
Albato AI enables users to create AI-driven workflows across numerous applications.
Pre-processes the repository by generating security-focused summaries (mantis-summary.md) for each directory to make planning and research more efficient. Use when starting a review campaign to map the codebase before t…
Independently reviews findings and filters out false positives. Use when consolidated findings need validation against the actual source code. Don't use for reproducing crashes or patching code.
Analyzes individual security findings to identify and construct complex exploit chains. Use after validation stages to see if multiple low-severity bugs can be combined into a higher impact vulnerability. Don't use for…
Assesses the production viability of findings, filtering out debug-only features and assertion traps. Use when findings have been validated and you need to confirm they are triggerable in production release builds (with…
Generates a human-readable security review packet compiled from reproduced findings. Use at the end of a review cycle to produce stakeholder-facing documentation. Don't use for auditing code or verifying patches directl…
Formulates a targeted defensive security reviewing plan based on the active threat model and historical learnings. Use when starting a security review campaign to map the codebase boundaries and generate a roadmap (work…
Consolidates raw security findings to eliminate redundant reports. Use when raw findings have been generated by the researcher and need consolidation before review. Don't use for initial code auditing or patch generatio…
Acts as the persistent supervisor, launching and monitoring the automated review campaign. Use when running a long-running, continuous security review campaign that needs autonomous coordination. Don't use for executing…
Generates and runs crash reproducers to verify security flaws. Use when viable findings exist and you need to write and execute a script or payload to verify the crash. Don't use for code auditing or patching.
Interactively guides the design and implementation of custom deterministic orchestrator harnesses. Use when a user wants to build their own pipeline to wrap and run Mantis skills reliably. Don't use for executing the de…
Synthesizes raw learnings and codebase analysis into an interlinked Markdown Knowledge Base (KB). Use at the beginning of a loop to build or update architecture.md, entities, and vulnerabilities. Don't use for generatin…
Generates minimal security fixes using transactional isolation (shadow directories or file backups), applies patches, and verifies them. Use when security findings are successfully reproduced and need patches applied an…
Audits production source code files based on the strategy in workspace/plan.json. Use when a review plan exists and you need to perform static analysis and deep-dive reviews of targeted files. Don't use for planning, de…
Extracts learnings from execution trajectories at the end of a Mantis loop. Use to parse agent conversations, extract successes, failures, and false assumptions, and append them to workspace/learnings.jsonl. Don't use f…
Analyzes the repository's version control system (VCS) history to extract past vulnerabilities, security fixes, and vulnerability patterns. Use as an initial pre-processing step to build a historical vulnerabilities dat…
Synthesizes trust boundaries, attack surfaces, and attacker profiles into a living threat model. Use as Stage B of the Knowledge Base generation process, reading architecture and entity definitions from the KB. Don't us…
Calculates the final risk score based on empirical evidence and architectural impact. Use when findings have been fully processed by previous stages and you need to append final risk scores to the finding files. Don't u…
Velo 3.0 provides a robust AI video infrastructure designed to enhance training and sales processes efficiently.
Campus offers a collaborative project space where humans and AI agents can work together seamlessly.
Agently automates your entire tech stack, allowing for seamless operations without manual intervention.
Times use createdAt (approximate "first seen"). Skills, MCP servers, and tools are APPROVED only; LLMs and agents include all directory rows in range.
