Home / Skills / setup

setup

michael-denyer/agent-formal-verifySkill

Prepare all shared tools for the agent-formal-verify plugin: Java, Python, TLC, elan, Lean, Rust and Kani. Use for initial installation, missing prerequisites, or /agent-formal-verify:setup.

ScannedSkillSource: GitHub
17 stars Updated 20d ago License GPL-3.0 Context ≈49 tokens always loaded
58popular

Why this score

Stars7/35
Usage (forks)1/15
Upkeep25/25
License15/15
Owner history10/10

This repo hosts 2 skills, so its 17 stars are split between them (about 9 each) for scoring.

Popularity score: 58/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank

Security

Scanned Oct 20, 2026 at commit 5a2e00fee2b9, with Cisco's open-source skill-scanner.

None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.

A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan

Alternatives

Nothing from another maker does quite the same job yet.