Agent Claude CodeOpenCode
Review presentation materials against critique rubric.
not rated 443
+1 2d ago A 11 tokens
443Stars on the repository
223Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Agent Claude CodeOpenCode
Create slide-by-slide implementation plans from interactive design feedback and research reports.
not rated 443
+1 2d ago A 18 tokens
Agent Claude CodeOpenCode
Research talk material synthesis for academic presentations.
not rated 443
+1 2d ago A 12 tokens
Agent Claude CodeOpenCode
Slidev presentation assembly from slide-mapped research reports.
not rated 443
+1 2d ago A 16 tokens
Agent Claude CodeOpenCode
Research agent for medical research project timelines with WBS/PERT/Gantt capabilities.
not rated 443
+1 2d ago A 18 tokens
Agent Claude CodeOpenCode
Implement Python development tasks with testing and verification.
not rated 443
+1 2d ago A 13 tokens
Agent Claude CodeOpenCode
Research Python development tasks using codebase exploration and documentation.
not rated 443
+1 2d ago A 15 tokens
Agent Claude CodeOpenCode
Implement Typst documents following implementation plans.
not rated 443
+1 2d ago A 13 tokens
Agent Claude CodeOpenCode
Research Typst documentation tasks using domain context and codebase exploration.
not rated 443
+1 2d ago A 18 tokens
Agent Claude CodeOpenCode
Implement web (Astro/Tailwind/TypeScript) changes from plans.
not rated 443
+1 2d ago A 20 tokens
Agent Claude CodeOpenCode
Research web development tasks using Astro, Tailwind CSS v4, and Cloudflare documentation.
not rated 443
+1 2d ago A 22 tokens
Agent Claude CodeOpenCode
Implement Z3 constraint solving and SMT development tasks.
not rated 443
+1 2d ago A 15 tokens
Agent Claude CodeOpenCode
Research Z3 SMT solving and constraint development tasks.
not rated 443
+1 2d ago A 15 tokens
Agent Claude Code
Implement general, meta, and markdown tasks from plans with hard-mode behavioral contracts.
not rated 443
+1 2d ago A 21 tokens
Agent Claude Code
Research general tasks using web search and codebase exploration with hard-mode behavioral contracts.
not rated 443
+1 2d ago A 21 tokens
Agent Claude Code
Create phased implementation plans with hard-mode behavioral contracts for complex, deflection-prone tasks.
not rated 443
+1 2d ago A 21 tokens
Agent Claude Code
Multi-output synthesis for team skills. Reads all teammate finding files in its own fresh context, resolves conflicts, identifies gaps, and writes a unified research report.
not rated 443
+1 2d ago A 35 tokens
Agent Claude Code
Implement CSLib proofs following Lean 4 and CSLib contribution standards.
not rated 443
+1
changed 9d ago A 20 tokens
Agent Claude Code
Implement CSLib proofs with hard-mode behavioral contracts (H2 anti-analysis, H7 territory, H9 wrap-up discipline).
not rated 443
+1
changed 9d ago A 33 tokens
Agent Claude Code
Research CSLib formalization patterns and Mathlib API for CSLib contributions.
not rated 443
+1
changed 11d ago A 21 tokens
Agent Claude Code
Research CSLib formalization patterns and Mathlib API with hard-mode behavioral contracts (H2 anti-analysis, H3 reference grounding, H4 adversarial verification).
not rated 443
+1
changed 18d ago A 40 tokens
Agent Claude Code
Vet CSLib tasks against library standards, run CI pipeline, and create fix tasks with interactive user confirmation.
not rated 443
+1
changed 11d ago A 27 tokens
Agent Claude Code
Read PR review research and compose pr-response.md and/or zulip-response.md for pr-type review tasks.
not rated 443
+1
changed 9d ago C 26 tokens
Agent Claude Code
Fetch and synthesize GitHub PR review discussion and Zulip thread content for pr-type review tasks.
not rated 443
+1
changed 11d ago A 25 tokens
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: