conjecture-testing

Test mathematical conjectures by searching for counterexamples and verifying small cases.

3|Updated Apr 17, 2026

Search Tags:#hypothesis testing #academic research #proof verification #mathematical conjecture #counterexample search

Ready to run

npx skills add https://github.com/RamanEbrahimi/raman-marketplace --skill conjecture-testing

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: conjecture-testing
Source: https://github.com/RamanEbrahimi/raman-marketplace/tree/main/plugins/agentic-research/skills/conjecture-testing
Command: npx skills add https://github.com/RamanEbrahimi/raman-marketplace --skill conjecture-testing

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

This Skill streamlines the process of testing mathematical conjectures, reducing the time and effort required to search for counterexamples, verify small cases, and construct proofs or refutations.

Core Features & Use Cases

Counterexample Search: Identifies counterexamples to conjectures.
Verification: Verifies small cases computationally.
Proof/Refutation: Attempts to prove or refute conjectures.
Use Case: When a conjecture is proposed, or when testing whether a theorem generalizes.

Quick Start

Run the conjecture-testing skill on the conjecture provided in 'conjecture.md'.

Frequently Asked Questions about conjecture-testing

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I automate counterexample search for a mathematical conjecture?▼

To automate counterexample search for a mathematical conjecture, this Skill computationally tests hypotheses by searching for counterexamples, verifying small cases, and constructing proofs or refutations. Simply provide the conjecture in the 'conjecture.md' file and run the Skill.

What is the best way to verify small cases of a theorem computationally?▼

The best way to verify small cases of a theorem computationally is using automated conjecture testing, which systematically checks mathematical hypotheses to determine if they hold or fail. The Skill implements techniques from Woodruff et al. (2026) and Aletheia for this purpose.

Can I use automated hypothesis testing to prove or refute academic theorems?▼

Yes, you can use automated hypothesis testing to prove or refute academic theorems. The Skill attempts to construct formal proofs or refutations for proposed conjectures, streamlining academic research and theorem verification workflows.

Does this conjecture testing approach require any specific dependencies or frameworks?▼

No specific dependencies or external frameworks are required to start conjecture testing. The Skill operates independently using its internal scripts, requiring only that you define your mathematical conjecture in the 'conjecture.md' file before execution.

When do I need to run automated proof verification during academic research?▼

You need to run automated proof verification during academic research when a new mathematical conjecture is proposed or when testing whether an existing theorem generalizes to broader cases. It streamlines hypothesis testing by computationally searching for counterexamples.