Skip to content
TrustedSkillsbeta
Back to all skills

Prove

Listed
parcadei·vlatest·other·MIT

This skill rigorously proves statements by generating supporting evidence from a knowledge base – crucial for verifying information and building trust.

Repository

Install on your platform

Showing Claude Code. One command installs this skill into any of the agents below.

  1. 1

    Run this in your project

    terminal
    $ npx skills add parcadei/continuous-claude-v3 --skill prove -a claude-code

  2. Uses the open-source skills CLI and needs Node.js. Add -g to install it for your user instead of this project.

What we know about this skill

Publisher

parcadei

Taken from the source listing. We haven't verified who controls this account.

Install target

Live repository

Not pinned. Installing fetches whatever the repository holds at the time you run the command.

No human has reviewed this code. The checks below are a static scan of the files at one commit — nobody has run this skill or judged whether it works. A skill runs with whatever access you give your agent, so read the source before you install it.

Automated safety checks

scanned

This skill failed 1 of 6 checks. A failure is not proof of bad intent; it means something in the code needs a human to look at it before you run it.

  • No pipe-to-shell installers: failed

    Runs code fetched at install time in 1 place.

    No `curl … | sh` pattern, in the code or in the instructions, that runs code fetched at run time.

    What it found

    • .claude/skills/prove/SKILL.md:25remote script piped into a shell
      curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh

  • Declares what it does: passed

    SKILL.md parses and declares a name and a description.

    SKILL.md exists, its frontmatter parses, and it declares a name and a description.

  • No undeclared network calls: passed

    Only contacts known or declared hosts: raw.githubusercontent.com.

    Every host the skill dials — from its scripts, its config endpoints or the commands it tells the agent to run — is either well-known package and API infrastructure or declared in its own frontmatter. Links in documentation are not counted.

    Hosts contacted

    raw.githubusercontent.comsource host

  • No obfuscated payloads: passed

    No encoded or obfuscated payloads.

    No base64, hex or compressed blob is decoded and then executed, and no encoded shell commands.

  • No credential access: passed

    Reads no keys, tokens, keychains or credential files.

    Neither the code nor the SKILL.md instructions read SSH keys, cloud credentials, keychains, token stores, browser cookie databases or dotfiles that hold secrets.

  • Pinned to a commit: passed

    Scanned parcadei/continuous-claude-v3 at d07ff4b06b.

    The exact upstream commit SHA that was scanned is recorded, so the result refers to specific bytes.

Commit
d07ff4b06b
Manifest
.claude/skills/prove/SKILL.md
Scanned
1 file, 230 lines
This is a static scan, not a review. It reads the skill's files; it does not run them, and it cannot tell you whether the skill is any good or whether the code does what its description says. A skill runs with whatever access you give your agent.
What each check looks for →

About this skill

What it does

The prove skill allows an AI agent to verify claims or statements by providing evidence and reasoning. It can assess the truthfulness of assertions, identify logical fallacies, and ultimately determine whether a statement is likely true or false based on available information. The skill aims to provide a reasoned justification for its conclusions rather than simply stating "true" or "false."

When to use it

  • Fact-checking: When you need an AI agent to evaluate the accuracy of a news article or social media post.
  • Argument evaluation: To assess the validity of arguments presented in debates, essays, or legal documents.
  • Research verification: To confirm the reliability of information found during research projects and identify potential biases.
  • Detecting misinformation: To help identify potentially false or misleading statements circulating online.

Key capabilities

  • Claim Verification: Assesses the truthfulness of given claims.
  • Evidence Gathering: Collects supporting evidence for evaluation.
  • Reasoned Justification: Provides explanations for its conclusions.
  • Logical Fallacy Detection: Identifies flaws in reasoning.

Example prompts

  • "Can you prove that climate change is caused by human activity?"
  • "Evaluate the claim 'eating chocolate every day is good for your health' and provide evidence."
  • "Analyze this argument and tell me if there are any logical fallacies: [insert argument here]"

Tips & gotchas

The quality of the results depends heavily on the availability and reliability of information accessible to the AI agent. The skill may struggle with claims that lack readily available supporting data or rely on subjective opinions.