agentmods.dev

skydiscover-ai/skydiscover

AI-Driven Scientific, Algorithmic, and Systems Discovery

Open on GitHub skydiscover-ai.github.io
666Stars on the repository
6Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

skysynth

01

skydiscover-ai/skydiscover

Plugin Claude Code

Bundles 2 skills, 1 command, 2 hooks · 204 tokens together

/skysynth: coding agents build a system specialized for your workload, checked by tests or machine-checked proofs. Includes the /skysynth skill, the agent roles (Spec Builder, Planner, Coding Agent, Evaluator, Critic, Auditor), and the hook that runs the tests before anything is delivered. Also install the skydiscover.

not rated 666 +34 2d ago A tokens not measured original Apache-2.0