Hoare Rust Origins
copyleftdev
Analyzes Rust code's memory safety properties based on Hoare logic principles to identify potential issues.
41,128 listings from across the agent ecosystem. None of them have been code-reviewed — check the source before you install.
Looking for what's new? See the repos gaining stars fastest.
40,701 skills
copyleftdev
Analyzes Rust code's memory safety properties based on Hoare logic principles to identify potential issues.
huiali
Analyzes complex Rust code to identify potential lifetime issues and suggest safe borrowing strategies.
rustydotwtf
This skill automates transferring liquidity to Uniswap V4 pools, simplifying and speeding up your trading strategy execution.
thurbeen
Helps with Rust, refactoring as part of developing backend services and APIs workflows.
rustcrazy
Creates simple apps from basic inputs – ideal for quickly prototyping ideas and automating small tasks without coding knowledge.
thurbeen
Analyzes complex symbol sequences from rust code to identify potential vulnerabilities and performance bottlenecks.
ahonn
Helps with Rust, design, patterns as part of developing backend services and APIs workflows.
thurbeen
This skill simulates multiple cognitive processes in parallel for deeper understanding and nuanced responses – boosting AI insight.
thurbeen
M06 Error Handling manages and logs backend errors effectively, improving application stability & debugging processes.
thurbeen
This "Domain Fintech" skill extracts financial data and insights from specific domains like banking or insurance, streamlining analysis & reporting.
rustydotwtf
Pda Dynamic generates diverse, evolving prompts based on user input, fueling creative exploration and overcoming prompt fatigue.
thurbeen
Automatically routes complex data streams between backend services, optimizing performance and minimizing errors using intelligent pathfinding.
thinkfleetai
Automates Rust project setup, build processes, testing, and deployment within existing toolchains using thinkfleetai's expertise.
thurbeen
Thurbeen's thurbeen-domain-web analyzes and extracts structured data from websites within a defined industry domain.
claudedjale
Helps with Azure, Java as part of deploying and managing cloud infrastructure workflows.
hairyf
Generates, debugs, and explains Java code snippets; ideal for rapid prototyping and backend development tasks.
Helps with Java, testing, integration as part of developing backend services and APIs workflows.
kentoshimizu
Enforces consistent JavaScript code style based on Kentoshimizu's preferences, improving readability and maintainability in backend projects.
ekusiadadus
Generates, debugs, and explains JavaScript code snippets for Google Tag Manager implementation and tracking.
profpowell
Generates clean, functional JavaScript code snippets based on detailed descriptions, ideal for backend development tasks.
echoleesong
Generates JavaScript code snippets within n8n workflows to automate backend tasks and data manipulation.
b33eep
Generates, debugs, and refactors clean, standards-compliant JavaScript code for server-side applications.
pluginagentmarketplace
Dom Apis seamlessly integrates external APIs into your responses, enhancing data access and providing dynamic, up-to-date information.
jabrena
Identifies and remediates common Java security vulnerabilities using secure coding best practices.
Can't find what you need?