skills.rest
prof-danielc
prof-danielcCOMMUNITY
Explore all skills by this author →
GitHub

speckit.quizme

Analyze feature specifications with Socratic questioning to detect logical gaps and edge cases.

Updated Apr 5, 2026
Search Tags:#socratic questioning#specification analysis#logical flaws#robustness testing#edge case analysis
One-click install
npx skills add https://github.com/prof-danielc/SpaceScream --skill speckit-quizme-prof-danielc
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: speckit.quizme
Source: https://github.com/prof-danielc/SpaceScream/tree/main/.agent/skills/speckit.quizme
Command: npx skills add https://github.com/prof-danielc/SpaceScream --skill speckit-quizme-prof-danielc

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

Identifies logical gaps, unhandled edge cases, and robustness issues in specifications using Socratic questioning.

Core Features & Use Cases

  • Socratic Questioning: Identifies logical fallacies, race conditions, and happy-path bias.
  • Edge Case Analysis: Examines temporal and state gaps in specifications.
  • Business Logic Challenge: Questions the validity of business logic and security assumptions.
  • User Feedback Integration: Generates new requirements based on user feedback.

Quick Start

Run the speckit.quizme skill with the current feature specification to detect logical flaws and edge cases.

Frequently Asked Questions about speckit.quizme

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

FAQPage Schema
How do I find logical flaws and edge cases in a feature specification?▼

Socratic questioning detects logical flaws and edge cases in specifications by posing targeted questions. This method identifies happy-path bias, unhandled temporal gaps, and race conditions within the document.

What is Socratic questioning for robustness testing?▼

Socratic questioning for robustness testing is a method that challenges business logic and security assumptions. It operates by analyzing specifications and generating probing questions to reveal potential problems and generate new requirements from user feedback.

How do I run specification analysis to uncover unhandled edge cases?▼

Run specification analysis by executing the analysis scripts against your current feature specification. The scripts will examine the document to detect logical fallacies, state gaps, and edge cases without requiring external dependencies.

Can I challenge business logic and security assumptions in my specifications?▼

Yes, you can challenge business logic and security assumptions in your specifications. The Socratic questioning process specifically targets these areas to validate their robustness and identify potential vulnerabilities or logical fallacies.

Does specification analysis require any external dependencies or specific environments?▼

Specification analysis requires no external dependencies, but it does need analysis scripts and access to your specification documents. You simply run the process against your current feature specification to start detecting issues.

Related Skills

Explore More Software Engineering Skills→
aniruddh2003aniruddh2003
1

speckit.quizme

Evaluate specification documents with Socratic questioning for logical gaps and robustness issues.

Community
Advanced
fagemxfagemx

wusanto-blindspot

Review AI-generated specifications for falsifiable verification criteria.

Community
Intermediate
cxnaivecxnaive

requesting-code-review

Automate pre-commit code verification with static security analysis and regression checks.

Community
Advanced
yfyang86yfyang86
1

edmund-m-clarke-perspective

Analyze formal verification problems using Edmund Clarke's model checking and temporal logic methods.

Community
Intermediate