-
EY
- London, England
-
13:56
(UTC +01:00) - https://jtcoolen.github.io
Stars
- All languages
- Ada
- Assembly
- C
- C#
- C++
- CMake
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Elixir
- F*
- Futhark
- GAP
- Go
- HTML
- Haskell
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- LLVM
- Lean
- MDX
- Makefile
- Mathematica
- Nim
- Nix
- OCaml
- Objective-C
- Python
- ReScript
- Reason
- Rocq Prover
- Roff
- Rust
- SCSS
- SMT
- Sage
- Scheme
- Shell
- Sieve
- Solidity
- Standard ML
- SystemVerilog
- TLA
- TeX
- TypeScript
- WebAssembly
- Zig
- eC
AI-native, free, open-source alternative to Jira, Trello, ClickUp & Monday. Built for Scrum teams where humans and AI agents collaborate as equals — on the same board, the same sprints, the same go…
Claude Fable 5 as architect, GPT-5.5 Codex as builder, the repo as memory - a research-backed Claude Code skill for the cross-vendor agent loop
⚒️ The open source dark software factory for expert engineers.
Annotate and review coding agent plans and code diffs visually, share with your team, send feedback to agents with one click.
AI agent framework for plan-first development workflows with approval-based execution. Multi-language support (TypeScript, Python, Go, Rust) with automatic testing, code review, and validation buil…
Make AI coding agents follow a repeatable engineering workflow with planning, memory, verification, skills, and review. One config. All agents. Same workflow.
Continuous background code review database for agents, work faster and smarter with accountability for every line of generated code.
A ready-to-fork Claude Code template for academics using LaTeX/Beamer + R. Multi-agent review, quality gates, adversarial QA, and replication protocols.
Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thre…
Before I go to bed, I tell my agents: good night, have fun
Programs for the quantum computing workshop
A self-improving multi-agent orchestration framework for Claude Code, Gemini CLI, and Codex CLI — 18 agents, 13 skills, 15 commands, TDD enforcement, quality gates, spec-driven development
Bring Superpowers workflows to Antigravity — brainstorming, planning, TDD, code review, and verification skills ported as close to the original as possible.
🎯 The definitive collection of 50+ verified Awesome Claude Skills for Claude Code, Claude.ai, and API. Boost productivity with TDD, debugging, git workflows, document processing, and more. Communit…
A TDD-driven iterative feedback loop for software development. 16 cohesive Claude Code skills walk an idea from brainstorm → plan → execute → iterate, with checkpoints throughout.
AI agent skill for writing senior-engineer quality code through SOLID principles, TDD, and clean architecture
Shared skills for AI coding assistants (Claude Code, Codex, etc.)
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Codebase intelligence for AI-assisted engineering teams: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
LeanEff is a small Lean 4 extensible-effects library
AI-powered multi-agent system that automatically analyzes codebases and generates comprehensive documentation. Features GitLab integration, concurrent processing, and multiple LLM support for bette…
50+ AI agents that audit codebases for security, architecture, testing and documentation issues
arc42 - the template for software architecture documentation and communication
AGENTS.md rules / skills for AI coding agents: Codex, Cursor & Claude Code. Inspired by Clean Code, Refactoring, DDD, Clean Architecture and DDIA programming books.
Rust Developer AI Assistance System — Meta-Problem-Driven Knowledge Indexing
A collection of 179 rules that AI coding agents can use when writing Rust.
An AI expert capability layer for Rust engineering practices, centered on modular skill orchestration and collaborative execution chains. It turns Rust’s core knowledge structures into callable rea…
Create architecture diagrams from code automatically using large language models (LLMs).