15 skills found
shenlian19831109 / progmune-runtimeProgmune Runtime — Program Immunology: A constraint-guided program synthesis runtime for verifiable AI-generated code
go-nunu / nunuA CLI tool for building Go applications.
bjwanneng / veriflow-ccVeriFlow-CC: A Claude Code-driven RTL design pipeline. Automates Chip-on-Chat from architecture to synthesis (iVerilog/Yosys) using a stateful, zero-dependency LLM orchestration skill. Features sub-agent nesting for code gen and behavioral-driven verification.
boykush / scrapsThe Wiki-link doc compiler for the LLM era.
jmanhype / speckitSpecification-Driven Development with Beads Integration - A comprehensive workflow system for AI-assisted software development
aahlijia / dekkoStatic code map generator (MAP.md + map.json) powered by tree-sitter — a Claude Code /map plugin and MCP server that gives coding agents call graphs, file outlines, and impacted-test lookups without spending tokens on parsing.
natalie-lang / nataliea work-in-progress Ruby compiler, written in Ruby and C++
fmcato / octave-mcpMCP (Model Context Protocol) server for GNU Octave
shariethernet / mcp-sandpipersaasAn MCP server for sandpiper - a TL-Verilog compiler, that outputs SystemVerilog/Verilog
crepererum-oss / common-sense-coderAn LSP-MCP bridge for code assistants.
3ksoft / schema-popMemory-layout-first schemas for zero-copy cross-language data structures.
dbisina / relayVendor-neutral orchestrator that rotates a coding task across multiple AI coding agents
MatthewZMD / aidermacsAI Pair Programming in Emacs with Aider
TwoWells / CatenaryGiving AI coding agents LSP-powered code intelligence.
depwire / depwireThe missing context layer for AI-assisted refactoring
