← All skills

aletheia-superhuman-integration

85 / 100 · Low risk

Fine to try.

By MarceloClaro/OpenCode_Ecosystem (GitHub) · other · 12 stars · scanned at commit 5f83911

Aletheia + Cora + AlphaProof Nexus integration for superhuman mathematical problem-solving (SPEC-013 to SPEC-016, TDD, 88/88 tests passing)

Works with any agent that supports SKILL.md skills.

Partially scanned — some files couldn't be read; we'll retry on the next scan

What this skill can do

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'aletheia-superhuman-integration' ] || [ -L ~/.agents/skills/'aletheia-superhuman-integration' ]; then echo 'A skill folder named aletheia-superhuman-integration already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/MarceloClaro/OpenCode_Ecosystem' "$d" && git -C "$d" checkout --quiet '5f83911ebb203d7070e973cff3de065170ea9cea' -- 'skills/research/aletheia-superhuman-integration' && mkdir -p ~/.agents/skills && cp -R "$d"/'skills/research/aletheia-superhuman-integration' ~/.agents/skills/'aletheia-superhuman-integration' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'aletheia-superhuman-integration' ~/.claude/skills/'aletheia-superhuman-integration' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for MarceloClaro/OpenCode_Ecosystem shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/MarceloClaro/OpenCode_Ecosystem.svg)](https://zalavijaysinh.github.io/skilltrust/repos/MarceloClaro/OpenCode_Ecosystem/)

Score history