π₯€ Minimal agent skills grounded in the suckless philosophy
β19Apr 6, 2026Updated 5 months ago
Alternatives and similar repositories for suckless-agent-skills
Users that are interested in suckless-agent-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust SDK for building AI agents with local OpenAI-compatible servers (LMStudio, Ollama, llama.cpp, vLLM). Features streaming, tools, hookβ¦β25Updated this week
- Explicando passo-a-passo como se faz AJAX com AngularJSβ10Oct 8, 2015Updated 10 years ago
- An English translation of Deligne's three "Hodge theory" papersβ15Sep 21, 2026Updated 2 weeks ago
- clock-rs - A clock for your terminal!β33Jul 26, 2026Updated 2 months ago
- A well typed by construction kernel language for bidirectional programmingβ14Jan 2, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -β¦β13Sep 22, 2020Updated 6 years ago
- Regionalized Value State Dependence Graph written in Rustβ13Nov 17, 2019Updated 6 years ago
- Moz SEO Tool MCPβ15Jun 13, 2025Updated last year
- Library for proving propositions quantified over finite setsβ15Sep 21, 2022Updated 4 years ago
- Mac OS X Plist parser for NodeJS. Convert a Plist file or string into a native JS objectβ11Sep 28, 2022Updated 4 years ago
- A generic Either type implementation for Rustβ14Jan 4, 2023Updated 3 years ago
- CLI for archiving pages and its all links to Wayback Machineβ14Mar 10, 2022Updated 4 years ago
- A Coq development of the theory of Indexed W types with function extensionality.β11Sep 13, 2017Updated 9 years ago
- Open-source trading tools (MQL5 & NinjaTrader) + DeFi crypto bot + AlgoSphere Quant showcaseβ46Jul 11, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Wait for async tasksβ13Dec 22, 2022Updated 3 years ago
- A modern, scalable web application for obfuscating prompts to bypass AI detection systems.β31Nov 5, 2025Updated 11 months ago
- Formalization of category theory in Agdaβ17Feb 20, 2023Updated 3 years ago
- guarded interaction treesβ14Jul 6, 2026Updated 2 months ago
- AI coder powered by open source LLMsβ11Nov 28, 2024Updated last year
- β»οΈ Simple & Efficient Gemini-to-HTTP Proxyβ30Sep 21, 2026Updated 2 weeks ago
- the enlightened pager. less paging. more content. read widely.β22Mar 23, 2020Updated 6 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalizationβ16Jan 23, 2024Updated 2 years ago
- Portable Memory Harness for Agents. Grounding the Autonomous Eraβ124Aug 11, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 10 months ago
- Organize mathematical thoughtsβ21Oct 6, 2023Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]β15Dec 30, 2023Updated 2 years ago
- Patches to improve the behavior of the audio system on the Lenovo Thinkpad X1 Carbon 7th genβ11Jan 4, 2021Updated 5 years ago
- For The Watts: configurable power saving script with udev rules.β16Jan 31, 2014Updated 12 years ago
- A collection of plugins and skillsβ20Jan 12, 2026Updated 8 months ago
- a condensed pixel font built on 6x13 ("fixed")β20Jul 8, 2017Updated 9 years ago
- β16Feb 9, 2024Updated 2 years ago
- AACMM's generic-syntax, but with QTT-style annotationsβ21Apr 7, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- β15Oct 31, 2024Updated last year
- Immutable TypeScript client for building Thumbor URLsβ16Sep 2, 2026Updated last month
- Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CIβ30Aug 14, 2026Updated last month
- The high-level/low-level implementation of Linux Fanotify.β26Nov 11, 2025Updated 10 months ago
- A curated list of tools for building AI with rich context from screen recordings, audio, and personal dataβ28Jun 3, 2026Updated 4 months ago
- β16Apr 14, 2016Updated 10 years ago
- In-place translation of TLAβΊ symbols into Unicode, in Neovimβ15Mar 19, 2025Updated last year