dependent
on
spider-gazelle/json-schema
Displaying
1-15
of
15
total results
enkaidu-dev/enkaidu
A command line tool that can use local and remote AI models to assist with local editing and refinement tasks.
- 1
- 0
- 2
- 0
- 7
- about 1 month ago
forked from
spider-gazelle/crystal-openai
kojix2/crystal-openai
OpenAI ChatGPT, GPT-3, GPT-4, DALL·E, Whisper API Client for Crystal
- 0
- 0
- 0
- 1
- 4
- 10 months ago
dsisnero/chiasmus.cr
Crystal port of chiasmus: MCP server for formal verification with Z3 SMT solver, SWI-Prolog, and tree-sitter-based source code analysis. Uses Crig for LLM integration with DeepSeek support.
- 0
- 0
- 0
- 0
- 15
- 8 days ago
forked from
spider-gazelle/mcp.cr
dsisnero/mcp.cr
The un-official Crystal-lang shard for Model Context Protocol servers and clients.
- 0
- 0
- 0
- 2
- 1
- 2 months ago