llm-tuning-patterns

Guides LLM parameter selection and proof prompting for formal reasoning, code generation, and creative tasks.

When to use it

Use when configuring an LLM for theorem proving, code generation, or creative exploration.

It changes how the agent configures LLM responses and requests proof plans before suggesting tactics.