Search Results for "obsidian"
Sort By:
Showing 2 open source projects for "obsidian"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
MathCode
A Frontier Mathematical Coding Agent
...It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
2
Plannotator
Annotate and review coding agent plans visually, share with your team
...Plannotator integrates with diff views so reviewers can annotate changes line-by-line in git diffs, provide structured feedback, and navigate plans visually rather than through raw text alone. Users can attach and annotate images, save approved plan versions, and automatically export feedback into systems like Obsidian or Bear Notes for documentation purposes.
- Previous
- You're on page 1
- Next
