crisai-proof-and-analysis-toolkit

Validate claims and analyze systems with proof recipes for architecture workflows.

Updated Apr 18, 2026
One-click install
npx skills add https://github.com/crissdiamond/crisAI --skill crisai-proof-and-analysis-toolkit
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: crisai-proof-and-analysis-toolkit
Source: https://github.com/crissdiamond/crisAI/tree/main/.claude/skills/crisai-proof-and-analysis-toolkit
Command: npx skills add https://github.com/crissdiamond/crisAI --skill crisai-proof-and-analysis-toolkit

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires python, uv, and includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill addresses the challenge of validating claims and analyzing systems by providing a structured approach to proof and analysis, ensuring decisions are based on robust evidence.

Core Features & Use Cases

  • Proof Recipes: Offers a set of seven reusable proof recipes for various scenarios, including routing changes, gate and policy changes, root-cause analysis, and more.
  • Analysis Framework: Provides a framework for conducting thorough analysis, focusing on mechanisms that explain all observations and structural enforcement over prompts.
  • Use Case: For instance, when evaluating a change in routing, this Skill can help prove that the intended change occurred without affecting other routes.

Quick Start

Load the 'crisai-proof-and-analysis-toolkit' skill to apply its proof and analysis recipes to your system or project.

Frequently Asked Questions about crisai-proof-and-analysis-toolkit

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

FAQPage Schema
How do I prove system architecture changes without affecting other components?

You can validate architecture changes by applying specialized proof recipes that provide evidence-based verification, ensuring intended modifications occur without unintended structural side effects.

What is evidence-based system analysis and how does it work?

Evidence-based system analysis is a structured method that identifies mechanisms explaining all observations, enforcing structural rules over prompts to validate claims and design decisions robustly.

Do I need Python and uv to run system validation recipes?

Yes, you need Python and the uv package manager installed in your environment to execute the system validation recipes and run the analysis workflows.

How do I conduct root-cause analysis using structured proof recipes?

You conduct root-cause analysis by applying reusable proof recipes that focus on finding structural mechanisms explaining all observed system behaviors and validating claims.

Can I use this analysis toolkit to validate gate and policy changes?

Yes, the analysis toolkit includes specific proof recipes designed for validating gate and policy changes, ensuring decisions are based on robust structural evidence.

What is the best way to enforce structural rules over prompts in design workflows?

The best way to enforce structural rules is by using an analysis framework that prioritizes evidence-based mechanisms over prompts, validating claims through reusable proof recipes.