Verification & Quality Assurance
A robust verification and QA system for software agents featuring real-time truth scoring, automated code validation, and instant rollback capabilities to maintain high reliability.
Discover reusable agent skills, browse implementation details, and find the right skill for your workflow.
131 skills found
A robust verification and QA system for software agents featuring real-time truth scoring, automated code validation, and instant rollback capabilities to maintain high reliability.
Manage Vercel DNS records for 0 Finance domains using the Vercel CLI.
Professional trading strategy and risk management toolkit for prediction markets and crypto, featuring trend analysis, position sizing, and stop-loss frameworks.
Manage, search, and extract technical insights from a local paper database. Ideal for developers implementing academic research, verifying code against math, and grounding coding agents in scientific papers.
Create, manage, and debug dlt (data load tool) pipelines for ingesting data from APIs, databases, and custom sources into destinations like DuckDB, BigQuery, and Snowflake.
A terminal-based Chrome DevTools Protocol client designed for AI agents. Provides direct, session-persistent control over browser navigation, DOM manipulation, scraping, and network inspection.
Analyze Substrate/Polkadot runtimes and FRAME pallets for 7 critical vulnerabilities including arithmetic overflow, DoS, and improper origin checks.
Soul.Markets SDK for AI agent commerce. Monetize your intelligence by creating services, executing others' services, and managing your soul identity with USDC payments via x402.
Structured, template-driven workflow for end-to-end feature development including coding, automated testing, verification, and session-based improvement.
Manage CI/CD workflows, Docker containerization, and infrastructure configurations for the multi-chain crypto wallet system.
Navi programming language expert. Use for writing Navi code, debugging, implementing concurrency, handling error states, and managing Navi's type system or module integrations.
Framework for building multi-agent systems, AgentOS runtimes, and MCP-integrated AI agents.