Luiser13/waterproof-hint-generation

Hint generation for formal proofs from proof state and goals with LLM-based synthesis

/ 100

Experimental

No License No Package No Dependents

Maintenance 13 / 25

Adoption 0 / 25

Maturity 1 / 25

Community 0 / 25

Stars

—

Forks

—

Language

TypeScript

License

—

Last pushed

Mar 30, 2026

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/prompt-engineering/Luiser13/waterproof-hint-generation"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

KudoAI/ai-personas

💬 1,000+ epic AI personas for LLMs and agents.

MasuRii/pi-must-have-extension

RFC 2119 keyword normalizer extension for the Pi coding agent.

ThamJiaHe/claude-code-handbook

Comprehensive guide for writing professional Claude Standard prompts with MCP, Skills, and...

CHATS-lab/verbalized-sampling

Verbalized Sampling, a training-free prompting strategy to mitigate mode collapse in LLMs by...

devswha/patina

Claude Code skill that detects and removes AI writing patterns from Korean, English, Chinese,...