locque-authoring

jaggederest/locque

Locque, a dependently-typed LLM first programming language

3 stars

0 forks

Haskell

75 views

View on GitHub Add to Favorites

Installation

Option 1: Use slash command in Claude Code

/install-skill https://github.com/jaggederest/locque/tree/main/skills/locque-authoring

Option 2: Clone to skills directory

# Global (all projects)

git clone https://github.com/jaggederest/locque/tree/main/skills/locque-authoring ~/.claude/skills/locque

# Project-specific

git clone https://github.com/jaggederest/locque/tree/main/skills/locque-authoring .claude/skills/locque

Add MCP server to .cursor/mcp.json:

{
  "mcpServers": {
    "skillz": {
      "command": "npx",
      "args": ["-y", "skillz-mcp", "https://github.com/jaggederest/locque/tree/main/skills/locque-authoring"]
    }
  }
}

Restart Cursor after adding the configuration.

Option 1: Use Gemini CLI command

gemini extensions install https://github.com/jaggederest/locque/tree/main/skills/locque-authoring

Option 2: Clone to extensions directory

git clone https://github.com/jaggederest/locque/tree/main/skills/locque-authoring ~/.gemini/extensions/locque

Topics

ai dependent-types llm m-expression programming-language theorem-proving

Related Skills

hackage-upload

Haskell bindings to Claude API

Obsidian

In this repo I keep all my obsidian vaults for backup