Independent project. Not a U.S. government website.

Support our project (opens Buy Me a Coffee)
USASI

Jump to

Start hereFour ways into the catalogCompanies & LabsU.S. AI organizationsOpen Models & ToolsOpen models, software, datasets, and evaluation toolsLearnExplainers and learning pathsFor kidsAI and Super Intelligence, explained for readers 8 to 12Latest newsSourced news itemsPolicy trackerFederal AI laws, orders, and standards

Generated purple flowing-wave artwork for modiqo/skillspec, labeled USASI · AI on GitHub, with Organization · Rust · Apache-2.0.
Rank #7,702 707 starsRust

skillspec

by modiqo (organization)

SkillSpec makes agent skills followable, testable, and provable with Doctor risk reports, guided imports, structured contracts, and alignment proof. (description from the project’s GitHub page)

View on GitHub (external site: github.com)Homepage (external site: skillspec.sh)

Repository facts

Stars
707
Forks
43
Open issues and pull requests
16
Primary language
Rust
License
Apache License 2.0 (Apache-2.0)
Owner
modiqo · Organization
Created
Jun 19, 2026
Last push
Aug 9, 2026

Topics

Rank #7,702 of 9,507 in AI on GitHub, by stars. Data from the GitHub API, fetched Oct 18, 2026; star counts change daily. Stars measure popularity, not quality or safety, and a listing is not an endorsement. How this list is made

Add this badge to your README

Ranked #7,702 in AI on GitHubShows this repository’s rank in AI on GitHub and links back to this page. Ranks are by stars and change when the list is refreshed. The badge is not an endorsement or a rating. About the badges

Markdown (for a README)

[![Ranked #7,702 in AI on GitHub](https://unitedstatesofamericasuperintelligence.com/badges/github/modiqo--skillspec.svg)](https://unitedstatesofamericasuperintelligence.com/github/modiqo--skillspec/)

HTML

<a href="https://unitedstatesofamericasuperintelligence.com/github/modiqo--skillspec/"><img src="https://unitedstatesofamericasuperintelligence.com/badges/github/modiqo--skillspec.svg" alt="Ranked #7,702 in AI on GitHub" height="20"></a>

Related projects

Projects that share this one’s GitHub topics.

  • Rank 3,430: future-agi/future-agi

    Open-source, end-to-end platform for evaluating, observing, and improving LLM and AI agent applications. Tracing · Evals · Simulations · Datasets · Gateway · Guardrails. Self-host…

    2,175 starsPythonApache-2.0Last push Oct 18, 2026

  • Rank 3,456: arcsin1/oh-my-ppt

    Describe what you need — a presentation, lesson, or story — and let the AI build clean, beautiful HTML slides for you. Local-first. Works offline. Works for you.

    2,152 starsTypeScriptApache-2.0Last push Oct 15, 2026

  • Rank 8,696: heider-x/vela

    AI-powered IDE for novel writing — local LLM + RAG, privacy-first, BYOK. For web fiction authors and creative writers.

    583 starsTypeScriptGPL-3.0Last push Oct 10, 2026

  • Rank 8,840: joinly-ai/joinly

    Make your meetings accessible to AI Agents

    569 starsPythonMITLast push Sep 1, 2026

  • Rank 103: aaif-goose/goose

    an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

    55,412 starsRustApache-2.0Last push Oct 18, 2026

  • Rank 134: herdrdev/herdr

    the runtime your coding agents live on

    44,621 starsRustApache-2.0Last push Oct 15, 2026

Support Us

Help keep USASI useful.

Leave a tip on Buy Me a Coffee (external site)

Optional. No USASI account required. Payment takes place on the linked provider’s website (Buy Me a Coffee).

About supporting this project