Sign in
Join now
odoc-mcp
anil.recoil.org
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
main
Branches
main
default
Tags
No tags found
View all branches
View all tags
4
1
0
Code
Clone this repository
Use permalink
HTTPS
https://tangled.org/anil.recoil.org/odoc-mcp
SSH
git@git.recoil.org:anil.recoil.org/odoc-mcp
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
Files
CLAUDE.md
1y ago
odoc2json.py
1y ago
odoc2llm.py
1y ago
Commits
4
parallise
anil.recoil.org
·
1y ago
94ea53a2
Copied
Failed
Copy SHA
fix paths
anil.recoil.org
·
1y ago
dd481f99
Copied
Failed
Copy SHA
add a version that outputs something suitable for parquet
anil.recoil.org
·
1y ago
4177be63
Copied
Failed
Copy SHA
Branches
1
main
·
1y ago
Default
Languages
Python
100%
