llm-tuning-patterns
Installation
SKILL.md
LLM Tuning Patterns
Evidence-based patterns for configuring LLM parameters, based on APOLLO and Godel-Prover research.
Pattern
Different tasks require different LLM configurations. Use these evidence-based settings.
Theorem Proving / Formal Reasoning
Based on APOLLO parity analysis:
| Parameter | Value | Rationale |
|---|---|---|
| max_tokens | 4096 | Proofs need space for chain-of-thought |
| temperature | 0.6 | Higher creativity for tactic exploration |
| top_p | 0.95 | Allow diverse proof paths |
Proof Plan Prompt
Related skills
More from parcadei/continuous-claude-v3
discovery-interview
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
3.2Kgithub-search
Search GitHub code, repositories, issues, and PRs via MCP
517math
Unified math capabilities - computation, solving, and explanation. I route to the right tool.
515dead-code
Find unused functions and dead code in the codebase
433premortem
Identify failure modes before they occur using structured risk analysis
410agentic-workflow
Agentic Workflow Pattern
392