Skill · Testing
prove
Formal theorem proving with research, testing, and verification phases
Install
$
npx skills add parcadei/Continuous-Claude-v3 --skill proveGeneric steps — the original listing is authoritative. Copy the command, run it where you keep agent skills, then confirm version and requirements in the original listing.
At a glance
- 6 installs reported on mcpdirectory.
- Published by parcadei — listed by mcpdirectory. Setup details live in the original listing.
How to use
- Copy the Install command above.
- Run it where you keep agent skills.
- Confirm version and requirements in the original listing.
More in Testing
- smoke-test — Create a Mastra project using create-mastra and smoke test the studio in Chrome
- positron-e2e-tests — This skill should be used when writing, debugging, or maintaining Playwright e2e tests for Positron. Load this
- tdd-workflow — 在编写新功能、修复错误或重构代码时使用此技能。强制执行测试驱动开发,包含单元测试、集成测试和端到端测试,覆盖率超过80%。
- java-testing-standards — Modern testing practices using JUnit 5, AssertJ, and Mockito.
- testing — Testing guide using Vitest. Use when writing tests (.test.ts, .test.tsx), fixing failing tests, improving test
- automating-api-testing — This skill automates API endpoint testing, including request generation, validation, and comprehensive test co
More from parcadei
- premortem — Identify failure modes before they occur using structured risk analysis
- morph-search — Fast codebase search via WarpGrep (20x faster than grep)
- math-help — Guide to the math cognitive stack - what tools exist and when to use each
- review — Comprehensive code review workflow - parallel specialized reviews → synthesis
← Back to Skills catalog · View original listing ↗
Outdated or wrong? Report this listing.