ndpvt-web

3 listings · 0 installs

Open-source publisher. Listings imported from github.com/ndpvt-web — credited to the original author with their license.

↗ github.com/ndpvt-web

Self-run

SKILL

DAG

skill-ndpvt-web-claude-dag-skill-claude-dag-skill · by ndpvt-web

Persistent axiom registry + formal proof prompt builder. Transforms any project into a DAG-structured knowledge base where every conclusion cites parent axioms and inference rules. Axioms co-built with user, saved to .dag/ files, referenced by ID (A1, T1, D1, H1) to save tokens and prevent drift. Use when user says "/dag", "/dag init", "/dag prove", "/dag derive", "formal proof mode", or wants tr…

Free

Self-run

SKILL

Prompt Improver

skill-ndpvt-web-prompt-improver-prompt-improver · by ndpvt-web

Optimize prompts for better AI responses. Use when user asks to improve a prompt, refine a prompt, make a prompt better, optimize prompting, "Aristotelian", "first principles", or "proof-based" , review their prompt, or says "/improve-prompt". Transforms vague requests into clear, specific, actionable, logic-based prompts.

Free

Self-run

SKILL

Gtm Reverse Engineer

skill-ndpvt-web-gtm-reverse-engineer-gtm-reverse-engineer · by ndpvt-web

Free

You've reached the end · 3 loaded