# ndpvt-web

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

- **Listings:** 2
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/ndpvt-web
- **Website:** https://github.com/ndpvt-web

## Published listings

- [Prompt Improver](https://agentstack.voostack.com/l/skill-ndpvt-web-prompt-improver-prompt-improver) — Skill · Free · security-reviewed — `agentstack add skill-ndpvt-web-prompt-improver-prompt-improver`
  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.
- [DAG](https://agentstack.voostack.com/l/skill-ndpvt-web-claude-dag-skill-claude-dag-skill) — Skill · Free · security-reviewed — `agentstack add skill-ndpvt-web-claude-dag-skill-claude-dag-skill`
  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…

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.