@NASA-SW-VnV
Creator · NASA-SW-VnV
Last updated · Sep 1, 2026
Ikos
REVIEW · 74Community indexed
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Creator · NASA-SW-VnV
Last updated · Sep 1, 2026
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Sandbox only
Install targets
Codex install prompt
Install the "Ikos" agent skill from https://github.com/NASA-SW-VnV/ikos. Read its SKILL.md or equivalent instructions first, install only the files needed for this workspace, and summarize any required setup before using it. Skill purpose: Static analyzer for C/C++ based on the theory of Abstract Interpretation. After the install attempt, report the result to https://www.openagentskill.com/api/agent/outcome with POST JSON {"event_id":"install_<unique-id>","skill_slug":"nasa-sw-vnv-ikos","task":"Install Ikos","agent":"codex","outcome":"success","install_used":true}. Replace event_id with a unique value and outcome with success or failed. Report success only after the skill is installed and a minimal verification passes.Supply asset profile
Code review, repo analysis, testing, CI, GitHub, DevOps, and developer workflow skills.
Scenario
Coding agents
I need a coding agent that can understand a repository, edit code, and review pull requests.
Agent fit
Claude Code + CLI + Codex
Codex, Claude Code, Cursor, CLI, or custom agents.
Install
Ready
npx skills add NASA-SW-VnV/ikos
Maintenance
active
3mo since push
Risk
Needs review
License is unclear
GitHub quality
3.2K
95/100 Quality · 82/100 Trust
Coverage tags
Review notes
License is unclear · Financial research output is not financial advice; require human review before any live investment decision
Agent adoption scorecard
These scores combine public repository metadata, OpenAgentSkill review signals, maintenance freshness, and install readiness. They are a shortlist signal, not a replacement for human review.
Quality
ExcellentHigh-confidence pick with strong adoption and healthy maintenance signals.
Trust
Sandbox onlyUseful candidate with missing or mixed trust signals. Keep it in an isolated workspace until the outcome loop proves task fit.
Audit
Needs reviewA machine-readable review of install readiness, security metadata, maintenance, and adoption risk.
OpenAgentSkill Trust Score v5
Run only in a sandbox and compare close alternatives before using it for real work.
Stars
3.2K GitHub stars
Repo activity
3.2K stars, 217 forks
Maintenance
3mo since push
License
Unknown
Install
npx skills add NASA-SW-VnV/ikos
Agent-readable metadata
Use this block or the embedded JSON to decide whether an agent should install this skill, choose an alternative, or ask for human review first.
Suited tasks
Suited agents
Install decision
Trust and risk
Outcome loop
Do not use when
Agent safety v2
Usable candidate, but the agent should surface permission and audit notes before installation.
Require human approval before installing into a real workspace.
medium
Skill likely fetches remote pages, APIs, repositories, or external services.
medium
Skill may read or write project files, documents, generated artifacts, or local workspace state.
Agent resolve plan
The Resolve API returns the selected skill, alternatives, safety policy, audit notes, install target, and copy-paste prompt an agent can follow without scraping this page.
Open JSON
/api/agent/resolve?task=Use%20Ikos%20for%20an%20agent%20workflow&agent=codex&max_risk=medium
Resolve text
/api/agent/resolve?task=Use%20Ikos%20for%20an%20agent%20workflow&agent=codex&max_risk=medium&format=text
Install handoff
/api/skills/nasa-sw-vnv-ikos/install
Agent should check
Copy prompt
Task: Use Ikos in this workspace.
Resolve first: https://www.openagentskill.com/api/agent/resolve?task=Use%20Ikos%20for%20an%20agent%20workflow&agent=codex&max_risk=medium
Review install handoff: https://www.openagentskill.com/api/skills/nasa-sw-vnv-ikos/install
Install command: npx skills add NASA-SW-VnV/ikos
Before running it, summarize audit warnings, required permissions, and the fallback skill if install is risky.Agent handoff
Use the public install endpoint to fetch the command, safety checklist, target prompts, and canonical links for this skill.
Install handoff
/api/skills/nasa-sw-vnv-ikos/install
LLM text format
/api/skills/nasa-sw-vnv-ikos/install?format=text
Find alternatives
/api/skills/search?q=Ikos&limit=3
Agent prompt
Use Ikos for this task. Review https://www.openagentskill.com/api/skills/nasa-sw-vnv-ikos/install, then install with: npx skills add NASA-SW-VnV/ikosRegistry metadata
This page exposes the same decision, trust, audit, use-case, and install signals through the Registry API, so agents can rank this skill without scraping the UI.
Manifest
/api/registry/manifest/nasa-sw-vnv-ikos
LLM text
/api/registry/manifest/nasa-sw-vnv-ikos?format=text
Install alias
/api/registry/install/nasa-sw-vnv-ikos
Recommend
/api/registry/recommend?task=Use%20Ikos%20in%20an%20agent%20workflow&limit=3
Agent fit
Coding agents
Use-case tags
Platforms
C++, Static Analysis, Claude Code
Audit report
A machine-readable review of install readiness, security metadata, maintenance, and adoption risk.
Agent decision cockpit
Use this as a leading candidate, then validate the README and install path in your own agent stack.
Role in stack
Primary pick
Primary fit
Coding agents
Trust label
Production-ready
Install path
Command ready
Use when
Evidence
review first
Implementation path
Trust profile
Useful candidate with missing or mixed trust signals. Keep it in an isolated workspace until the outcome loop proves task fit.
GitHub adoption
PASS3.2K GitHub stars
Stars/forks activity
INFO3.2K stars, 217 forks; issue activity unavailable in current metadata
Recent maintenance
INFO3mo since push
License clarity
CHECKUnknown
Good signals
Review before install
Recommended action
Run only in a sandbox and compare close alternatives before using it for real work.
Quality profile
High-confidence pick with strong adoption and healthy maintenance signals.
Workflow fit
Build and ship code
I need a coding agent that can understand a repository, edit code, and review pull requests.
Search private knowledge
I need my agent to build a RAG workflow over documents and retrieve reliable context.
Automate repeated work
I need my agent to automate a repeated workflow across tools and files.
Workflow fit
Inspect, patch, and verify code
A workflow for software agents that inspect repositories, review pull requests, generate tests, and turn findings into shippable patches.
Turn skills into distribution
A workflow for turning newly indexed skills into SEO briefs, social drafts, comparison pages, and reusable publishing workflows.
Ingest, retrieve, and cite
A workflow for document-heavy agents that ingest files, create searchable knowledge, retrieve relevant context, and answer with grounded sources.
Alternative shortlist
Similar skills that may fit this task.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
A tool that converts codebases, SQL schemas, and other files into queryable knowledge graphs for AI coding assistants.
Pre-indexed code knowledge graph for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Imported by the skill-only GitHub discovery pipeline because it matches agent skill, automation, domain workflow, RAG, document-processing, data, finance, security, or developer-tool signals. Protocol-server projects are excluded from automated imports.
Frameworks & tools
Decision snapshot
3,156 GitHub stars
Audit
Install and adoption review
Agent-proven evidence
Outcome reports after resolve, review, install, and one narrow run.
No agent outcome data yet. The first agent run can report success, setup needs, risk blocks, failure, or not-relevant through /api/agent/outcome.
Install
Free and open source. Review the report before installing into production agents.
Growth loop
Scenario-led draft for Ikos, ready for a manual X post.
Before you hand an agent the next repo task, give it a repeatable starting point. Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation. 3.2K stars https://www.openagentskill.com/skills/nasa-sw-vnv-ikos?ref=x
Listing + install path for Ikos: https://www.openagentskill.com/skills/nasa-sw-vnv-ikos?ref=x Install: npx skills add NASA-SW-VnV/ikos
Listing source
This listing was indexed from public sources and is not marked official until a maintainer claim is approved.
Attribution links to the public repository or creator profile. Creators can claim the listing to update ownership signals.
Claim this skillOwner claim
This Community indexed listing is attributed to NASA-SW-VnV but is not marked official yet. Claim it to add a verified owner signal and make future launch, install, and audit updates easier to trust.
Creator backlink kit
Show the canonical listing, current trust and audit signals, and real Agent-Proven evidence where developers evaluate the repository.
[](https://www.openagentskill.com/skills/nasa-sw-vnv-ikos?ref=github&utm_source=github&utm_medium=referral&utm_campaign=creator_badge)
[](https://www.openagentskill.com/skills/nasa-sw-vnv-ikos?ref=github&utm_source=github&utm_medium=referral&utm_campaign=creator_badge)
[](https://www.openagentskill.com/skills/nasa-sw-vnv-ikos/audit)
[](https://www.openagentskill.com/skills/nasa-sw-vnv-ikos?ref=github&utm_source=github&utm_medium=referral&utm_campaign=creator_badge)NASA-SW-VnV✓
@nasa-sw-vnv
Share whether this skill looks useful for your agent workflow. Aggregated feedback improves rankings over time.
Sandbox only
Andrej Karpathy Skills
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
175.2K StarsCaveman
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
97.4K StarsGraphify
A tool that converts codebases, SQL schemas, and other files into queryable knowledge graphs for AI coding assistants.
92.0K StarsCodegraph
Pre-indexed code knowledge graph for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
54.2K Starsstandard package or runtime install path
Permission surface
filesystem or document access
Agent outcomes
No agent outcome data yet
Docs
Usable metadata, review docs
Risk summary
Install readiness