claude

intuitionistic-logic-framework

Constructive logic tools for intuitionistic reasoning, first-principles thinking, and epistemic analysis - Musk/Thiel/Ramanujan paradigms for Claude Code

0 on GitHubby Manu Luxorv0.1.0MITupdated 1 month ago

Not in a marketplace yet, so it loads for one session with --plugin-dir.

Plugin intuitionistic-logic-framework in manutej/intuitionistic-logic-framework. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (6)

  • analyze-logic

    Analyze arguments for classical vs intuitionistic validity - flag non-constructive steps, identify missing witnesses, suggest remediation

  • check-type

    Type-level verification via Curry-Howard - check terms inhabit claimed types, validate dependent constraints

  • contrarian

    Thiel-style contrarian epistemology - what important truth do few people agree with you on? Reject consensus-as-proof

  • first-principles

    Musk-style first-principles deconstruction - break problems to verified axioms then construct solutions from ground truth

  • prove

    Generate a constructive proof via Curry-Howard - build programs as proofs, no LEM, no DNE, no proof-by-contradiction for existence

  • witness

    Construct a concrete witness for an existence claim using intuitionistic logic - reject proof-by-contradiction, demand explicit construction

Subagents (3)

  • logic-analyzer

    Specialized agent for analyzing logical arguments under both classical and intuitionistic logic. Invoke when you need to evaluate argument validity, identify non-constructive reasoning, flag LEM/DNE usage, or find missing witnesses in existence claims.

  • proof-verifier

    Specialized agent for verifying constructive proofs. Invoke when you need to validate that a proof actually constructs its conclusion, checks every inference step for intuitionistic validity, and confirms computational content exists.

  • witness-constructor

    Specialized agent for constructing concrete witnesses for existence claims using intuitionistic logic and first-principles reasoning. Invoke when you need to prove something exists by building an explicit example rather than arguing by contradiction.

View source on GitHub

Similar plugins

Your code review partner. CodeRabbit provides external validation using a specialized AI architecture and 40+ integrated static analyzers—offering a different perspective that catches bugs, security vulnerabilities, logic errors, and edge cases. Context-aware analysis via AST parsing and codegraph relationships. Automatically incorporates CLAUDE.md and project coding guidelines into reviews. Useful after writing or modifying code, before commits, when implementing complex or security-sensitive logic, or when a second opinion would increase confidence in the changes. Returns specific findings with suggested fixes that can be applied immediately. Free to use.

2 skills · 1 command · 1 agent

anthropics/claude-plugins-official 47,076

roast

claude

Pressure-test a business idea before you build it. Convenes a 5-angle adversarial panel — The Critic (what kills this?), The Champion (the 10x upside?), The Analyst (does the logic hold?), The Investigator (what does the market say?), The Customer (would I actually pay?) — fired in parallel as independent reviewers, then a Judge synthesizes one GO / RESHAPE / KILL verdict with explicit confidence and the cheapest 48-hour test to de-risk it. Never averages the scores: a weighted synthesizer with demand/fatal-flaw/logic veto gates produces the call, backed by deterministic stdlib tools.

1 skill · 1 command · 1 agent

alirezarezvani/claude-skills 29,725

waza-ui

claude

Produces distinctive production UI and screenshot-grounded visual polish. Use when building or restyling pages, components, or typography. Not for backend logic or data pipelines.

1 skill

tw93/Waza 7,576

Sequential three-tier code review (Haiku surface → Sonnet logic → Opus deep), restart-on-fail. Battle-tested across hundreds of solo issues.

1 skill · 1 command · 3 agents

davepoon/buildwithclaude 3,741

Create secure webhook endpoints with signature verification and retry logic

1 skill · 1 command

jeremylongshore/tons-of-skills-marketplace 2,917

Maintain intuitionistic-logic-framework?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted