GitHub - dave1010/skills-to-agents: Automatic support for (Claude) Skills for any coding agent that supports AGENTS.md
Automatic support for (Claude) Skills for any coding agent that supports AGENTS.md - dave1010/skills-to-agents
I wanted to use Skills in other coding agents like Codex Cloud/CLI and Gemini CLI, so I wrote a simple tool, skills-to-agents, along with a GitHub Action that anyone can use: github.com/dave1010/ski...
Write up here: dave.engineer/blog/2025/11...
01.11.2025 11:16 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
From Skills to Agents: Bridging Claude Skills and AGENTS.md
I made a tool that lets you use Claude Skills with any coding agent: dave.engineer/blog/2025/11...
Set it up as a GitHub action in 2 minutes: github.com/dave1010/ski...
01.11.2025 10:50 โ ๐ 3 ๐ 1 ๐ฌ 0 ๐ 0
List of guide prompt files in GitHub repo
System prompt that tells the LLM to read other guides
This is similar to a pattern I tried to get GPT-4 to follow. I remember struggling to get it to do even basic things. LLMs have come a long way in 2 years!
The general idea was that you give it a generic system prompt and a list of guides, and the tools to read them.
16.10.2025 23:01 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
I hope I didn't lose too many people along the way & that it gave everyone at least 1 thing to spark their curiosity & encourage more exploration.
Thanks to those that asked the difficult questions too! I enjoy being kept on my toes, even if I tripped up a bit. Special thanks to Dan for organising!
19.11.2024 22:40 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Iโm more used to speaking on topics that feel more intuitive and grounded.
This one covered a lot of ground quickly at a high level: encryption, algorithmic complexity, Mooreโs law, quantum entanglement, Shorโs algorithm, and lattice-based cryptography.
19.11.2024 22:40 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
Today I gave one of the most challenging talks Iโve ever done: Post-Quantum Cryptography.
Explaining enough of the basics of cryptography and quantum mechanics to show why this matters, all in just an hour, was much harder than I thought it would be.
19.11.2024 22:40 โ ๐ 2 ๐ 0 ๐ฌ 2 ๐ 0
Ed Balls
19.11.2024 22:22 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
dave1010 (@dave1010@mastodon.social)
0 Posts, 6 Following, 1 Follower ยท
Follow me on Bluesky! @dave.engineer
Or Mastodon: mastodon.social/@dave1010
Or LinkedIn: www.linkedin.com/in/dave1010
Or even Threads: www.threads.net/@thedave1010
But not X: x.com/dave1010
19.11.2024 22:15 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
i make ambient and improvised electronic music ~ https://scruffyfox.fm
@ScruffyFox on most platforms
Empower people to choose shared, sustainable transport with the customer experience platform for public transport operators.
https://passenger.tech
A mix of interests across tech, IT ops, railway ops, and the great outdoors. Previously ๐ฆ @daveba
UK
https://davidasaservice.com
https://davidbain.uk
๐ป Head of Development - I lead a team building software on Laravel. Away from work you'll find me on the golf course โณ๏ธ or travelling โ๏ธ.
Head of Design for GOV.UK at GDS. Ex HM Land Registry. Public speaker. Observer of humans. Crisp connoisseur. Yarn hoarder. Northerner.
Hello Bluesky.
I am the social media account for the UK South Coast based tech meetup {dev.talk}.
https://devdottalk.uk
YouTube https://www.youtube.com/@devdottalk
Tickets: https://devdottalk.eventbrite.com/
Come and say hi!
Run by @markoliver.website
Product Manager at 4IR.UK British Systems. Made in Dooorset, England. Working Class. Heart in British Industry ๐ฌ๐ง #Bournemouth #Dorset
๐ป CTO @ Serene, currently in โbuild modeโ
โค๏ธ Love my family
๐น Pet Shop Boys obsessive
๐คฉ Trying to control my Lego addiction
๐ฅพ Hiker, Biker, fan of Riker! ๐ฅธ
Founder @locally.build
Previously @hashicorp.com on #Terraform for #Azure and @OpenTable
#buildinpublic
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Professor at Wharton, studying AI and its implications for education, entrepreneurship, and work. Author of Co-Intelligence.
Book: https://a.co/d/bC2kSj1
Substack: https://www.oneusefulthing.org/
Web: https://mgmt.wharton.upenn.edu/profile/emollick
Web dev. Trying to make healthcare work better for everyone.
๐ London ๐ฒ
I help fast growing tech companies cultivate happier more effective teams. Team Topologies Valued Practitioner. Father of 3 living by the beach in Southbourne, Dorset.
Creator/curator of https://userneedsmapping.com and https://fastflowflywheel.com
CEO @passenger.tech. โA developed country is not a place where the poor have cars. It's where the rich use public transportation.โ G. Petro
๐งโ๐ป front-end development, ๐ท photography, ๐ค hip-hop (in no particular order).
This needs updating but still.. ๐ https://www.mattnortham.com
Software engineer by day, vehicle enthusiast by night.
I help games businesses navigate growth... or something.
๐Co-director @ Limit Break Mentorship
๐ฟ COO @ Apparance
๐ปGrowth @ IMPRESS
๐ฎ #GamesIndustry
๐ #Vanlife
๐ต #MTB
https://heydanthomas.com
Creative web developer. Currently working on games marketing with Etch Play.
UK based dotnet Software engineer by day (since 1996). Dad of 1 and husband by night. Trying to be a parent while being a nerd and geek.
Check out my blog https://blog.markoliver.website & local tech meetup https://devdottalk.uk/
#Bournemouth #Dorset
Reformed music nerd, current web and tech geek. Works with AI in Bournemouth. Loves being on or in the sea. (he/him)