promachina/iut-lean
maintenance drainGitHub connection
Repository App state for this project. Connected repositories can receive App-backed sync and source-PR handoff.
unavailableLogin required for GitHub connection details.
Checker configuration
Login required for checker configuration updates.
Policy controls
Login required for policy updates.
Package lock
Persist deterministic theorem package requirements for this repository so verification input hashes include the resolved package graph instead of relying on mutable ambient state.
Log in to resolve and persist repository package locks.
AI prompt templates
Repo-level prompt templates override system defaults for theorem explain and AI dashboard flows.
Use placeholders like {{theorem_uid}}, {{name}}, {{statement}},
{{dependencies}}, and {{similar_theorems}}.
Login required for prompt template updates.