agentmods.dev

skydiscover-ai/skydiscover

AI-Driven Scientific, Algorithmic, and Systems Discovery

Open on GitHub skydiscover-ai.github.io
745Stars on the repository
6Mods indexed here, across every type
1mo 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 745 +14 1mo ago A tokens not measured original Apache-2.0