certora-prover 89 /100 Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
writes files makes network calls uses shell commands
Type: Agent skill (SKILL.md) · Category: Science, Health & Education · Source: https://github.com/a5c-ai/babysitter/tree/HEAD/library/specializations/cryptogra
Score breakdown Capabilities (fewer powerful permissions = higher) 39/50 Maintenance 35/35 Documentation 15/15
Why this score Runs shell commands or spawns processes (instructions/allowed tools ask the agent to) −5 Makes network requests (instructions/allowed tools ask the agent to) −3 Writes, moves, or deletes files (instructions/allowed tools ask the agent to) −3 Docs include setup/install commands (one-time setup, not penalised) Instructions only: no bundled scripts Last updated 29 days ago +15 1,847 GitHub stars +10 42 contributors +5 License: MIT +5 Description and source link present +15 Always review files before installing. How scores work . Request a correction
Weekly: new skills & MCP servers, scored.
Scores are automated static checks of public files and metadata, not a security audit. They describe what an item can do, not its authors' intent. Updated 2026-10-16.