Plugin marketplace
Two plugins: research (the setup, the flow, a session's start and its freeze, the reference library, the dashboard, audit, scrutinize, attribution, the method, design, debug) and formal (the prover side: formal-init, handoff, land, the prover agent, the manifest generator).
Add this marketplace
Then install any plugin below by name — each page has its exact command.
Research records for a coding agent, changed through transitions and held together by a check: ideas, questions, tasks and findings as typed Markdown records, a reference library that refuses an unread citation, a dashboard over both, a session's start and its freeze, three reviews of the documents, and the method a session works by.
12 skills
The prover side of research-kit, for a project with a Lean library: the handoff a prover session gets, composed statement-first and checked, its report verified at the tree before any document moves, the prover session as an agent, and the package's declaration manifest.
3 skills · 1 agent
Shows how many plugins this repo ships, and links here.