MCPcopy Index your code
hub / github.com/andrew-bedford/coqatoo

github.com/andrew-bedford/coqatoo @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
83 symbols 188 edges 24 files 0 documented · 0% ● updated 8y ago★ 51
What it actually does AI analysis from the code graph — generated when you open this
loading…

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Method 59
Class 22
Enum 1
Interface 1

Languages

Java100%

Modules by API surface

source/coqatoo/rewriters/TextRewriter.java9 symbols
source/helpers/SetHelper.java8 symbols
source/coqatoo/coq/Output.java8 symbols
source/coqatoo/coq/Assumption.java7 symbols
source/coqatoo/coq/Input.java5 symbols
source/coqatoo/Main.java5 symbols
source/coqatoo/coq/InputOutput.java4 symbols
source/coqatoo/coq/Goal.java4 symbols
source/coqatoo/coq/Coqtop.java4 symbols
source/helpers/FileHelper.java3 symbols
source/coqatoo/rewriters/rules/Unfold.java2 symbols
source/coqatoo/rewriters/rules/Simpl.java2 symbols

For agents

$ claude mcp add coqatoo \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page