Open source

We have opened the skills we use in our own work. Most of them are methods for reasoning honestly: auditing a tension, counting how many witnesses for a claim are really independent, closing loops by turning a named open item into the next build target. They are in two repositories on GitHub, both under the Apache License 2.0 and open to pull requests: the method family in erdem-afk/harman, the other skills in erdem-afk/skills.

I have already shared the products that are ready to be shared. Everything that is ready to be shared. I would like to share more with you.

Erdem Bozkaya · from the manifesto

Most of these methods are at an early status, seed or candidate: they have been tested on a small sample, sometimes in a single run. Each says in its own SKILL.md what was tested and what was not; do not treat any of them as proven.

On the site

• Open skills lists every skill by name, with a link to its folder on GitHub.
• Harman explains what the engines of the method family are for and how far each has been checked by someone other than us.
• Write a test for Harman: there is no ready question set that can test Harman properly, so we have not yet shown that it makes a model better. This page says what kind of test you could write for us.

Contribute

Pull requests and issues go to the skill’s repository; each has a CONTRIBUTING.md. Read a skill before you install it: it can tell an agent to run shell commands and the scripts in its folder. If you can label hard cases, write a test for Harman; to work with us, introduce yourself on the careers page.

Contribute to erdem-afk/skillsContribute to erdem-afk/harmanWrite a test for HarmanIntroduce yourself