Symbolic Execution Tools
yaklang
Symbolic Execution Tools — provides AI agent assistance for software development workflows.
44,854 listings from across the agent ecosystem. None of them have been code-reviewed — check the source before you install.
8,022 skills
yaklang
Symbolic Execution Tools — provides AI agent assistance for software development workflows.
aaron-he-zhu
Provides email guidance and assistance for software development workflows.
aaron-he-zhu
Provides monitoring guidance and assistance for software development workflows.
aj-geddes
This System Architect skill designs robust IT systems by mapping requirements to technical solutions, streamlining development and ensuring optimal performance.
Official cursor skill for creation — helps with software development workflows.
affaan-m
Google Workspace Ops — provides AI agent assistance for software development workflows.
wechatpay-apiv3
Wechatpay Product Coupon — provides AI agent assistance for software development workflows.
google-deepmind
Science Skills Common — provides AI agent assistance for software development workflows.
aaron-he-zhu
Provides monitoring guidance and assistance for software development workflows.
marketcalls
Indicator Expert — provides AI agent assistance for software development workflows.
Fireworks Tech Graph — provides AI agent assistance for software development workflows.
thedivergentai
This skill generates realistic Godot 3D lighting setups, dramatically enhancing scene visuals and improving visual fidelity for your projects.
thedivergentai
Simulates game development within Godot for exploring genres and prototyping mechanics quickly – a valuable tool for designers & developers.
nhadaututtheky
Analyzes and summarizes stored data within the agent's memory to identify outdated or irrelevant information needing review.
thedivergentai
Generates detailed Godot Engine 3D world assets (terrain, props, textures) from text prompts for rapid prototyping.
lingfengqaq
Generate detailed webnovel outlines, including plot points, character arcs, and chapter summaries, based on user prompts.
actionbook
M05 Type Driven executes actions based on specified types, streamlining workflows and automating targeted tasks efficiently.
sergio-bershadsky
This skill generates Frappe doctypes for creating custom database tables within the Frappe ERP system, streamlining data structure design.
oimiragieo
Troubleshoot build errors, optimize workflows, and select appropriate tools for complex software projects effortlessly.
glebis
This Decision Toolkit helps you systematically analyze options & arrive at well-reasoned conclusions by guiding through structured evaluation.
rmyndharis
Analyzes architectural designs for compliance, efficiency, and potential issues, providing actionable feedback and suggestions.
onewave-ai
This skill automatically generates comprehensive scouting reports based on user prompts, saving time and providing valuable insights for strategic decision-making.
personamanagmentlayer
This "Biological Expert" skill provides detailed information on biological concepts and processes, useful for research, education, or general knowledge exploration.
catlog22
Automatically runs predefined workflows based on user input and data triggers for streamlined task completion.
Can't find what you need?