Search Results for "github-copilot"

...Cortex also generates MCP servers that expose typed tools, specifications, SDK guides, and project documentation to AI agents. Multiple specifications can be combined into a single SDK. Publishing workflows can push generated packages and MCP servers to language registries and GitHub repositories.

...FEATURES • Markdown editing with syntax highlighting • Live preview • LaTeX mathematical notation • A4 PDF export with pagination • Local image embedding • Contextual formatting toolbar and quick commands • Keyboard shortcuts • Word and character counters • Light and dark themes • Unsaved changes protection • English and French interface Repsel is ideal for writing technical documentation, notes, reports and mathematical content. Designed for Debian and Debian-based distributions. Bug reports, feedback and contributions are welcome. GitHub: https://github.com/evdk25-wq/Repsel

...Holocron builds delightful docs websites from MDX pages and a docs.json config: sidebar navigation, Orama search, dark mode, OpenAPI reference, and AI exports. You host the build on Vercel, Cloudflare Workers, Node, or holocron.so. Docs maintenance runs in GitHub Actions: agents update pages when source files change, instead of a closed hosted product. Use it to keep docs next to the code, to give agents raw markdown, or to leave a hosted docs platform without a rewrite. Same docs.json and MDX also work as a Mintlify drop-in. Install with npx -y @holocron.so/cli create. Docs at holocron.so.