Skip to content
store
convex-verify

Open source alternatives to convex-verify

24 open source AI Skills apps to use instead, best rated first.

Top picks

  1. G

    github-ops

    Launch

    github-ops is an agent skill from the ECC collection by affaan-m, listed on skills.sh. It manages a GitHub repository with a focus on community health, CI reliability and the experience of contributors. It covers triaging issues by classify

    Open source

  2. O

    opensource-pipeline

    Launch

    opensource-pipeline is an agent skill from the ECC collection by affaan-m, listed on skills.sh. It prepares a private project for safe public release through a three-stage pipeline. The fork stage strips secrets from a copy. The sanitise st

    Open source

  3. A

    andrej-karpathy-skills

    Launch

    andrej-karpathy-skills is a single CLAUDE.md file from the multica-ai project that is meant to improve how Claude Code behaves on coding tasks. It is derived from Andrej Karpathy's public observations about LLM coding pitfalls. The file dis

    Open source

  4. M

    microsoft/markitdown

    Launch

    markitdown-mcp is the MCP server package for MarkItDown, Microsoft's tool for converting many file formats to Markdown for language models. It is a lightweight server that runs over stdio, Streamable HTTP or SSE, and exposes one tool, conve

    Open source

  5. O

    od-contribute

    Launch

    od-contribute is an agent skill in the OpenDesign project that provides a guided, one-click contribution flow to the OpenDesign repository, written so that people without a coding background can send a real pull request. It is locked to the

    Open source

  6. G

    github-deep-research

    Launch

    github-deep-research is an agent skill from the DeerFlow project that researches a single GitHub repository in several rounds and writes a report in Markdown. It is for requests that need more than a README summary, such as a comprehensive

    Open source

More AI Skills apps

See all
7
M

modelcontextprotocol/server-everything

Exercises all features of the MCP protocol

Launch
8
M

modelcontextprotocol/server-filesystem

Direct local file system access

Launch
9
M

modelcontextprotocol/server-memory

Knowledge graph-based persistent memory for maintaining context

Launch
10
N

netdata/netdata#Netdata

Discovery, exploration, reporting and root cause analysis over Netdata metrics

Launch
11
L

Learn Claude Code

by shareAI-lab - A really interesting analysis of how coding agents like Claude

Launch
12
C

career-ops

Job-search skill collection for JD evaluation, ATS resumes, portal scans

Launch
13
S

Sequential Thinking

Dynamic and reflective problem-solving through thought sequences

Launch
14
R

Reactive Resume

A one-of-a-kind resume builder that keeps your privacy in mind

Launch
15
E

elie222/inbox-zero

Inbox Zero features on top of Gmail, such as finding emails

Launch
16
S

simple-issue-description

Turn a rough bug report, feature request, support note

Launch
17
C

Compound Engineering Plugin

by EveryInc - A very pragmatic set of well-designed agents, skills

Launch
18
S

SuperClaude

by SuperClaude-Org

Launch
19
M

MCP Toolbox for Databases

MCP Toolbox for Databases enables your agent to connect to your database

Launch
20
A

awslabs/mcp

Suite of servers for integrating with AWS services and resources

Launch
21
R

Ralph for Claude Code

by Frank Bria - An autonomous AI development framework

Launch
22
M

mobilerun

Automate your mobile devices with natural language commands

Launch
23
O

openstatus

Manage monitors, status pages

Launch
24
C

Claude Squad

by smtg-ai - A terminal app

Launch

About convex-verify

C

convex-verify

Prove a Convex feature works

convex-verify is an agent skill that proves a Convex feature works. A passing type check only shows that code parses, not that a non-owner is actually refused, that a query returns the right rows, or that a mutation does what it claims. The skill closes that gap with a seed, drive and assert loop. It seeds data, drives the feature as several mocked users, and asserts the results, all in-process with the convex-test library, so no deployment is needed. The most valuable checks are the negative ones: a user who is not the owner is refused, a request with the wrong identity fails, and data a user should not see stays hidden. The skill is part of the get-convex agent-skills repository and is added to a compatible agent with the skills command. Its audits passed with Gen Agent Trust Hub, Socket and Snyk. It suits developers who want evidence that their access rules and data flows behave as intended before they ship, rather than assuming so from a clean build.

View convex-verifyAll AI Skills apps
Price
Free
Made by
get-convex
Category
AI Skills
Website
github.com/get-convex/agent-skills/convex-verify